Skip navigation

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 4 of 4
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--
2004-On automating the extraction of programs from termination proofsKamareddiney, Fairouz; Monin, François; Ayala Rincón, Mauricio--
8-Mar-20132002Unification modulo Presburger Arithmetic and other decidable theoriesAyala Rincón, Mauricio; Araújo, Ivan Eid Tavares de--