A mechanized proof of a textbook type unification algorithm.

Não existem arquivos associados a este item.
Título: 

Autor(es) Principais: 
Outros identificadores: 
Data: 
14-Fev-2022
14-Fev-2022
2019
Palavras-chave: 

Aparece nas coleções:Repositório Institucional - UFOP