Skip navigation
Universidade de Brasília

Navegando por Autor Ayala-Rincón, Mauricio

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 7 de 7
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
Jul-2002-Architectural specification, exploration and simulation through rewriting-logicAyala-Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo Pezzuol; Llanos Quintero, Carlos Humberto--
2004-Explicit substitutions and all thatAyala-Rincón, Mauricio; Muñoz, César--
2018-Fixed-point constraints for nominal equational unificationAyala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele--
26-Ago-2022-Grammar compression by induced suffix sortingNunes, Daniel Saad Nogueira; Louza, Felipe A.; Gog, Simon; Ayala-Rincón, Mauricio; Navarro, Gonzalo--
2004-On automating the extraction of programs from termination proofsKamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio--
2023-On the behavior of parallel island modelsSilveira, Lucas Ângelo da; Lima, Thaynara Arielly de; Barros, Jessé Barreto de Barros; Soncco-Álvarez, José Luis; Llanos Quintero, Carlos Humberto; Ayala-Rincón, Mauricio--
8-Mar-2013-Unification modulo Presburger Arithmetic and other decidable theoriesAyala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de--
Mostrando resultados 1 a 7 de 7