1.
|
Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva Reyes, Nora Susana - Grosso, Alejandro - Maldocena, P. - Turull Torres, José María
|
2.
|
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo Reyes, Nora Susana - Grosso, Alejandro - Maldocena, P. - Turull Torres, José María
|