Redalyc.Using Difference Reduction for Generic Proof Search

Network of Scientific Journals from Latin America, the Caribbean, Spain and Portugal. Non-profit academic project, developed under the open access initiative ...
2MB Größe 2 Downloads 63 vistas
Computación y Sistemas ISSN: 1405-5546 [email protected] Instituto Politécnico Nacional México

Negrete, Santiago Using Difference Reduction for Generic Proof Search Computación y Sistemas, vol. 2, núm. 2-3, octubre-diciembre, 1999, pp. 126-139 Instituto Politécnico Nacional Distrito Federal, México

Available in: http://www.redalyc.org/articulo.oa?id=61520308

How to cite Complete issue More information about this article Journal's homepage in redalyc.org

Scientific Information System Network of Scientific Journals from Latin America, the Caribbean, Spain and Portugal Non-profit academic project, developed under the open access initiative