Search the dblp DataBase
Luis Pinto :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luis Pinto Cut Formulae and Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:282-300 [Conf ] José Espírito Santo , Maria João Frade , Luis Pinto Structural Proof Theory as Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 2006, pp:197-211 [Conf ] José Espírito Santo , Luis Pinto Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. [Citation Graph (0, 0)][DBLP ] TLCA, 2003, pp:286-300 [Conf ] José Espírito Santo , Luis Pinto Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus. [Citation Graph (0, 0)][DBLP ] TYPES, 2003, pp:194-209 [Conf ] Luis Pinto , Roy Dyckhoff Sequent Calculi for the Normal Terms of the - and - Calculi. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:17, n:, pp:- [Journal ] Gilles Barthe , Maria João Frade , E. Giménez , Luis Pinto , Tarmo Uustalu Type-based termination of recursive definitions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2004, v:14, n:1, pp:97-141 [Journal ] Roy Dyckhoff , Luis Pinto Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1998, v:60, n:1, pp:107-118 [Journal ] Roy Dyckhoff , Luis Pinto Permutability of Proofs in Intuitionistic Sequent Calculi. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:212, n:1-2, pp:141-155 [Journal ] José Espírito Santo , Ralph Matthes , Luis Pinto Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. [Citation Graph (0, 0)][DBLP ] TLCA, 2007, pp:133-147 [Conf ] Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. [Citation Graph (, )][DBLP ] Monadic Translation of Intuitionistic Sequent Calculus. [Citation Graph (, )][DBLP ] Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs