Percorrer por autor 1904 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 11-30 de um total de 30 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
Abr-2016Iluminando as mentes: da observação à disseminação dos fenómenos científicosPinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2019Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.ArtigoAcesso aberto
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
2019Modal embeddings and calling paradigmsEspírito Santo, José; Pinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
Abr-2005Model checking embedded systems with PROMELARibeiro, Óscar R.; Fernandes, João M.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.ArtigoAcesso aberto
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
Jan-2022Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luís F.; Uustalu, TarmoArtigoAcesso aberto
2009Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequentsPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
2018A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luís F.; Uustalu, TarmoArtigoAcesso aberto
2011Relating sequent calculi for bi-intuitionistic propositional logicPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2000Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Artigo em ata de conferênciaAcesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2022The COVID-19 influence on the desire to stay at home: a Big Data architectureSousa, Regina; Oliveira, Daniela Sofia Rijo; Carneiro, Ana, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al.ArtigoAcesso aberto
2023Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applicationsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.ArtigoAcesso embargado (1 Ano)
Mostrar 11-30 de um total de 30 resultados. < anterior