Percorrer por assunto Flatenning
Mostrar 1-1 de um total de 1 resultados.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2018 | Permutability in proof terms for intuitionistic sequent calculus with cuts | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |