11
TITLE: Preface
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXED IN: Scopus
IN MY: ORCID
12
TITLE: Permutability of proofs in intuitionistic sequent calculi  Full Text
AUTHORS: Dyckhoff, R; Pinto, L ;
PUBLISHED: 1999, SOURCE: Gentzen Conference in THEORETICAL COMPUTER SCIENCE, VOLUME: 212, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
13
TITLE: Cut-Elimination and a Permutation-Free Sequent Calculus for Intuit ionist ic Logic  Full Text
AUTHORS: Dyckhoff, ROY; Pinto, L ;
PUBLISHED: 1998, SOURCE: Studia Logica, VOLUME: 60, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
Page 2 of 2. Total results: 13.