Using Difference Reduction for Generic Proof Search

Por favor, use este identificador para citar o enlazar este ítem: http://repositoriodigital.ipn.mx/handle/123456789/15110

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.author	Negrete, Santiago	-
dc.date.accessioned	2013-04-13T00:43:08Z	-
dc.date.available	2013-04-13T00:43:08Z	-
dc.date.issued	1998-12-15	-
dc.identifier.citation	Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3	es
dc.identifier.issn	1405-5546	-
dc.identifier.uri	http://www.repositoriodigital.ipn.mx/handle/123456789/15110	-
dc.description.abstract	Abstract. In this paper a new approach to generic theorem proving is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques are based on the principIe 01 Difference Reduction and programmed in a Proof Plans environment. We use presentations ollogics in natural deduction style to test our techniques. Two example theorem prools are included to show how the whole setting works.	es
dc.description.sponsorship	Instituto Politécnico Nacional - Centro de Investigación en Computación (CIC).	es
dc.language.iso	en_US	es
dc.publisher	Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3	es
dc.relation.ispartofseries	Revista Computación y Sistemas;Vol. 2 No. 2 y No. 3	-
dc.subject	Keywords. Framework theories, proof search, rewrite rules, unification, natural deduction.	es
dc.title	Using Difference Reduction for Generic Proof Search	es
dc.type	Article	es
dc.description.especialidad	Investigación en Computación	es
dc.description.tipo	PDF	es
Aparece en las colecciones:	Revistas

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
ART 7.pdf		1.31 MB	Adobe PDF	Visualizar/Abrir

El Instituto Politécnico Nacional