Mauricio Ayala Rincón, Dr. rer. nat.
Profesor Titular
Teoria de la Computación
Departamentos de Ciencia de La Computación y Matemáticas
Universidad de Brasília

Dirección:
Departamento de Matemática, Universidade de Brasília
Campus Universitário Darcy Ribeiro, Asa Norte
70910-900 Brasilia D. F., Brasil
Tels. +55-61-3307 2441|2442| +55-61- 3107 6453 | 3676 Fax +55-61-3273 2737
e-mail: ayala[at]unb.br
Publicaciones
Cursos
PVS Class 2017
Actividades Profesionales CV Lattes
Grupo de Teoria da Computação

Tópicos de investigación:
Propiedades y aplicaciones de los sistemas de reescritura de terminos y sus extensiones. Links relacionados
TRS PVS teoria de reescrita
Alg. genéticos para ordenar permutaciones

English Português

Oportunidades

The 13th Logical and Semantic Frameworks with Applications LSFA 2018, Fortaleza, Sep. 26-8 (Jun. 10a/25p)
  • 32nd International Workshop on Unification UNIF 2018, Oxford, Jul. 7, afiliado a FSCD 2018, colocado con FLoC 2018. (Apr. 9a/16p)
  • 10th International School on Rewriting ISR 2018, Cali, Jul. 30 - Aug. 3, 2018.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolucionó para Int. Conf. on Formal Structures for Computation and Deduction FSCD (2016 ... 2018), FSCD 2019 - CFP
  • International Conference on Interactive Theorem Proving ITP, Parte de FLoC 2018.

  • Conferencias en curso en el GTC/UnB


  • M. Ayala-Rincón & Flávio L.C. de Moura, Fundamentos da Programação Lógica e Funcional - O Princípio de Resolução e a Teoria de Reescrita -, Notas de Aula, Editora UnB, Diciembre 2014. En portugués.


    M. Ayala-Rincón & Flávio L.C. de Moura, Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs, Springer, 2017.


    ayala[at]unb.br