Repositório Institucional da UnB: Browsing DSpace

Showing results 1 to 7 of 7

Date de publication	Data de defesa	Titre	Auteur(s)	Orientador(es)	Coorientador(es):
jui-2002	-	Architectural specification, exploration and simulation through rewriting-logic	*Ayala-Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo Pezzuol; Llanos Quintero, Carlos Humberto*	-	-
2004	-	Explicit substitutions and all that	*Ayala-Rincón, Mauricio; Muñoz, César*	-	-
2018	-	Fixed-point constraints for nominal equational unification	*Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele*	-	-
26-aoû-2022	-	Grammar compression by induced suffix sorting	*Nunes, Daniel Saad Nogueira; Louza, Felipe A.; Gog, Simon; Ayala-Rincón, Mauricio; Navarro, Gonzalo*	-	-
2004	-	On automating the extraction of programs from termination proofs	*Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio*	-	-
2023	-	On the behavior of parallel island models	*Silveira, 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 theories	*Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de*	-	-

Showing results 1 to 7 of 7

Browsing by Author Ayala-Rincón, Mauricio