Showing 1 - 2 results of 2 for search 'Galdino, André Luiz', query time: 0.06s Refine Results
  1. 1
    Uma formalização da teoria de reescrita em linguagem de ordem superior
    by Galdino, André Luiz
    Published 2009
    Get full text
  2. 2
    Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
    by Avelar, Andréia Borges
    Published 2011
    Other Authors: “...Galdino, André Luiz...”
    Get full text
Search Tools: Get RSS Feed — Email this Search