Autori: Lescanne Pierre
Naslov | Classical Computation with Negation (Proceedings Paper) |
Autori | Zunic Dragisa Lescanne Pierre |
Info | NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, (2012), vol. 1479 br. , str. 474-477 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Intuitionistic Sequent-Style Calculus with Explicit Structural Rules (Proceedings Paper) |
Autori | Gilezan Silvia Ivetic Jelena B Lescanne Pierre Zunic Dragisa |
Info | LOGIC, LANGUAGE, AND COMPUTATION, (2011), vol. 6618 br. , str. 101-124 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Classical Proofs' Essence and Diagrammatic Computation (Proceedings Paper) |
Autori | Lescanne Pierre Zunic Dragisa |
Info | NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS A-C, (2011), vol. 1389 br. , str. - |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage (Article) |
Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre |
Info | THEORETICAL COMPUTER SCIENCE, (2008), vol. 398 br. 1-3, str. 114-128 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Strong normalization of the dual classical sequent calculus (Article) |
Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre Likavec Silvia J |
Info | LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, (2005), vol. 3835 br. , str. 169-183 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Classical proofs, typed processes, and intersection types (Article) |
Autori | Gilezan Silvia Lescanne Pierre |
Info | TYPES FOR PROOFS AND PROGRAMS, (2004), vol. 3085 br. , str. 226-241 |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |