1. REPOSITORIO INSTITUCIONAL DA UFOP

Página de Busca


Filtros correntes:

Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-2 de 2.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data do documentoTítuloAutor(es)
2020A mechanized proof of a textbook type unification algorithm.Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2021The design of a verified derivative-based parsing tool for regular expressions.Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo

Busca facetada