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