1
Assuntos:
“...Sistemas de reescrita...”
Operadores de redução para completamento de sistemas de reescrita
Dissertação
2
Assuntos:
“...Teoria de Reescrita de Termos...”
Uma formalização da teoria de reescrita em linguagem de ordem superior
Tese