Percorrer por assunto Nested sequents
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2011 | Relating sequent calculi for bi-intuitionistic propositional logic | Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |