Skip navigation
Universidade de Brasília

Browsing by Author Ayala-Rincón, Mauricio

Jump to: 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
or enter first few letters:  
Showing results 1 to 6 of 6
Issue DateData de defesaTitleAuthor(s)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-Aug-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--
8-Mar-2013-Unification modulo Presburger Arithmetic and other decidable theoriesAyala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de--
Showing results 1 to 6 of 6