Percorrer por assunto Solution spaces
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Dez-2021 | A coinductive approach to proof search through typed lambda-calculi | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |