Filtrer vos résultats
- 4
- 4
- 4
- 1
- 4
- 4
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 1
4 résultats
|
|
triés par
|
|
Importing SMT and Connection proofs as expansion treesPxTP 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
|
||
|
The Proof Certifier CheckersAutomated 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
|
||
|
An adequate compositional encoding of bigraph structure in linear logic with subexponentials20th 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
|
||
|
A Note on the Complexity of Classical and Intuitionistic ProofsLICS 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
|