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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Citati: Web of Science |
|
|
