Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Confirmed Publications: 13



1
TITLE: Monadic translation of classical sequent calculus
AUTHORS: Santo, JE ; Matthes, R; Nakazawa, K; Pinto, L ;
PUBLISHED: 2013, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
2
TITLE: A Calculus of Multiary Sequent Terms  Full Text
AUTHORS: Jose Espirito Santo ; Luis Pinto ;
PUBLISHED: 2011, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Monadic Translation of Intuitionistic Sequent Calculus
AUTHORS: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLISHED: 2009, SOURCE: International Conference of the TYPES 2008 in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 5497
INDEXED IN: WOS
4
TITLE: Monadic translation of intuitionistic sequent calculus
AUTHORS: Espirito Santo, J ; Matthes, R; Pinto, L ;
PUBLISHED: 2009, SOURCE: International Conference on Types for Proofs and Programs, TYPES 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5497 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
AUTHORS: Luis Pinto ; Tarmo Uustalu;
PUBLISHED: 2009, SOURCE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Continuation-passing style and strong normalisation for intuitionistic sequent calculi
AUTHORS: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLISHED: 2007, SOURCE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXED IN: Scopus WOS
IN MY: ORCID
7
TITLE: Structural proof theory as rewriting
AUTHORS: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
8
TITLE: Model checking embedded systems with PROMELA
AUTHORS: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Confluence and strong normalisation of the generalised multiary lambda-calculus
AUTHORS: Santo, JE ; Pinto, L ;
PUBLISHED: 2004, SOURCE: 3rd Annual Workshop of the Types-Working-Group (TYPES 2003) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 3085
INDEXED IN: Scopus WOS
IN MY: ORCID
10
TITLE: Permutative conversions in intuitionistic multiary sequent calculi with cuts
AUTHORS: Santo, JE ; Pinto, L ;
PUBLISHED: 2003, SOURCE: 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003) in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2701
INDEXED IN: Scopus WOS CrossRef: 10
IN MY: ORCID
Page 1 of 2. Total results: 13.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service