Percorrer por assunto Coinduction
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
28-Ago-2013 | A coinductive approach to proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
1-Jun-2021 | Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
Out-2019 | Decidability of several concepts of finiteness for simple types | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |
2006 | Generic process algebra: a programming challenge | Barbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R. | Artigo | Acesso aberto |