Lr parsers as inference systems for fixed - mode logic programs
Document title: Lr parsers as inference systems for fixed - mode logic programs
Journal: Preimpreso - IIMAS
Database: PERIÓDICA
System number: 000001226
Authors: 1
Institutions: 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México
Year:
Season: Oct
Number: 14
Pages: 1-15
Country: México
Language: Inglés
Document type: Artículo
Approach: Teórico
Disciplines: Ciencias de la computación,
Matemáticas
Keyword: Matemáticas puras,
Prolog,
Diseño,
Compiladores,
Programas logicos,
Lógica matemática
Keyword: Computer science,
Mathematics,
Pure mathematics,
Prolog,
Design,
Compilers,
Logic programs,
Mathematical logic
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).