Percorrer por revistas 81314
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2016 | Encoding hybridised institutions into first order logic | Diaconescu, Razvan; Madeira, Alexandre | Artigo | Acesso aberto |
2019 | Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |
2013 | Monadic translation of classical sequent calculus | Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al. | Artigo | Acesso aberto |
2004 | Type-based termination of recursive definitions | Barthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al. | Artigo | Acesso aberto |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |