Projects M. Ayala Rincón
-
English
-
Portugués
- August 1996 - . Demonstração Automática de Teoremas Algébricos com Técnicas de Reescrita. Projeto de Iniciação Científica PIBIC-CNPq (Gziped Postscript (in Portuguese), 41 KB). Mais informações na página de Luiz Gadelha
- Agosto 1996 -. Aplicação de Técnicas de Reescrita e Algoritmos Pré-Construídos na Demonstração Automática de Restrições de Integridade. Projeto de Iniciação Científica PIBIC-CNPq (Gziped Postscript (in Portuguese) 25 KB). Mais informações na página de Vander Ramos Alves
- Desenvolvimento e implementação de um demonstrador de teoremas baseado em técnicas de reescrita (Compressed Postscript (in Portuguese), 85 KB)
- Octubro 1995 - Julho 1996. Implentação de Algoritmos para a Aritmética de Presburger. Projeto de Iniciação Científica PIBIC-CNPq (Gziped Postscript (in Portuguese), 66 KB). Mais informações na página de Luiz Gadelha
- Dezembro 1994 - Setembro 1995. Estudo das propriedades dinâmicas das árvores de sufixos. Projeto de Iniciação Científica PIBIC-CNPq
(Compressed Postscript (in Portuguese), 66 KB). Relatório estendido (Gziped Postscript (in Portuguese), 230 KB)
-
Español
- August 1996 - . Demostración Automática de Teoremas Algebraícos com Técnicas de Reescritura. Projecto a nivel de graduación PIBIC-CNPq (Gziped Postscript (in Portuguese), 41 KB). Mas información en la página de Luiz Gadelha
- Agosto 1996 -. Aplicación de Técnicas de Reescritura y Algoritmos Pre-Construidos en la Demostración Automática de Restricciones de Integridad. Projecto a nivel de graduación PIBIC-CNPq (Gziped Postscript (in Portuguese) 25 KB). Mas información en la página de Vander Ramos Alves
- Desarrollo e Implementación de un Demostrador de Teoremas basado en Técnicas de Reescritura
(Compressed Postscript (in Portuguese), 85 KB)
- Octubre 1995 - Julio 1996. Implementación de Algoritmos de Decisión para la Aritmetica de Presburger. Projecto a nivel de graduación PIBIC-CNPq (Gziped Postscript (in Portuguese), 66 KB). Mas información en la página de Luiz Gadelha
- Diciembre 1994 - Septiembre 1995. Estudio de las Propiedades Dinámicas de los Arboles de Sufixos. Projecto a nivel de graduación PIBIC-CNPq
(Compressed Postscript (in Portuguese), 66 KB). Reporte extendido (Gziped Postscript (in Portuguese), 230 KB)
ayala@mat.unb.br