Edit Profile Pinto, Luís F. Compute Distance To: Compute Author ID: pinto.luis-f Published as: Pinto, Luis; Pinto, Luís; Pinto, Luís F. Documents Indexed: 18 Publications since 1995 Co-Authors 0 single-authored 1 Lemos, João Miranda Serials 1 IEEE Control Systems Fields 1 Calculus of variations and optimal control; optimization (49-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 10 Publications have been cited 32 times in 25 Documents Cited by ▼ Year ▼ Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 9 1998 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 7 1999 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 07261186Pinto, Luís; Sousa, Ercília 1 2017 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 1 2003 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 1 1999 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 07261186Pinto, Luís; Sousa, Ercília 1 2017 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 1 2003 Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 7 1999 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 1 1999 Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 9 1998 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 all cited Publications top 5 cited Publications all top 5 Cited by 36 Authors 4 Ferrari, Mauro 4 Fiorentini, Camillo 2 Dyckhoff, Roy 2 Espírito Santo, José Carlos 2 Fiorino, Guido 2 Matthes, Ralph 2 Negri, Sara 2 Pinto, Luis 1 Adams, Andrew A. 1 Baaz, Matthias 1 de Barros Santos, Jefferson 1 Espírito Santo, José 1 French, Rohan 1 Galmiche, Didier 1 Haeusler, Edward Hermann 1 Howe, Jacob M. 1 Iemhoff, Rosalie 1 Jesus, Carla 1 Kocsis, Zoltan A. 1 Korn, Daniel S. 1 Kreitz, Christoph 1 Kushida, Hirohiko 1 Lopes Vieira, Bruno 1 Nakazawa, Koji 1 Okada, Masaya 1 Parsons, Charles D. 1 Pinto, Luís F. 1 Pym, David J. 1 Ripley, David 1 Sarnat, Jeffrey 1 Schürmann, Carsten 1 Schwichtenberg, Helmut 1 Sousa, Ercília 1 Swan, Jerry 1 Xuan, Qichao 1 Xue, Tao all top 5 Cited in 13 Serials 3 Theoretical Computer Science 3 Journal of Automated Reasoning 1 BIT 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 LMS Journal of Computation and Mathematics 1 ACM Transactions on Computational Logic 1 Logica Universalis 1 The Review of Symbolic Logic Cited in 5 Fields 21 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Citations by Year