Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-2 de 2.
- Anterior
- 1
- Siguiente
Resultados por ítem:
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2020 | A mechanized proof of a textbook type unification algorithm. | Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2021 | The 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 |