Percorrer por assunto Nested sequent calculus
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2018 | A proof-theoretic study of bi-intuitionistic propositional sequent calculus | Pinto, Luís F.; Uustalu, Tarmo | Artigo | Acesso aberto |