Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

Importing SMT and Connection proofs as expansion trees

 Giselle Reis
PxTP 2015 - Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.186.3⟩
Communication dans un congrès hal-01208325v1
Image document

The Proof Certifier Checkers

 Zakaria Chihani , Tomer Libal , Giselle Reis
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Sep 2015, Wroclaw, Poland. pp.201-210, ⟨10.1007/978-3-319-24312-2_14⟩
Communication dans un congrès hal-01208333v1
Image document

An adequate compositional encoding of bigraph structure in linear logic with subexponentials

 Kaustuv Chaudhuri , Giselle Reis
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Nov 2015, Suva, Fiji. pp.146--161, ⟨10.1007/978-3-662-48899-7_11⟩
Communication dans un congrès hal-01208362v1
Image document

A Note on the Complexity of Classical and Intuitionistic Proofs

 Matthias Baaz , Alexander Leitsch , Giselle Reis
LICS 2015 - 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.657 - 666, ⟨10.1109/LICS.2015.66⟩
Communication dans un congrès hal-01208346v1
Page :