Skip navigation
Communities
Browse
Author
Orientador
Coorientador
Title
Subject
Tipo
Issue Date
Data de defesa
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Voltar
Repositório Institucional da UnB
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:
Sort by:
title
issue date
submit date
Data de defesa
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Data de defesa
Title
Author(s)
Orientador(es)
Coorientador(es):
Jul-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-Aug-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
-
-
8-Mar-2013
-
Unification modulo Presburger Arithmetic and other decidable theories
Ayala-Rincón, Mauricio
;
Araújo, Ivan Eid Tavares de
-
-