El Instituto Politécnico Nacional
Contribuye al desarrollo económico y social de la nación, a través de la formación integral de personas competentes; de la investigación, el desarrollo tecnológico y la innovación. Además tiene reconocimiento internacional por su calidad e impacto social.
Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/15110| Título : | Using Difference Reduction for Generic Proof Search |
| Autor : | Negrete, Santiago |
| Palabras clave : | Keywords. Framework theories, proof search, rewrite rules, unification, natural deduction. |
| Fecha de publicación : | 15-dic-1998 |
| Editorial : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
| Citación : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
| Citación : | Revista Computación y Sistemas;Vol. 2 No. 2 y No. 3 |
| Resumen : | 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. |
| URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/15110 |
| ISSN : | 1405-5546 |
| 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 |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.