Filtrer vos résultats
- 11
- 8
- 1
- 1
- 1
- 11
- 3
- 1
- 4
- 3
- 1
- 2
- 11
- 9
- 6
- 6
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 11
- 6
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
triés par
|
|
Implementing Polymorphism in Zenon11th International Workshop on the Implementation of Logics (IWIL), Nov 2015, Suva, Fiji
Communication dans un congrès
hal-01243593v1
|
||
|
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter StepsIWIL - 10th International Workshop on the Implementation of Logics - 2013, Dec 2013, Stellenbosch, South Africa
Communication dans un congrès
hal-00909688v1
|
||
|
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction ModuloLPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
Communication dans un congrès
hal-00909784v1
|
||
|
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory2016
Pré-publication, Document de travail
hal-04281492v1
|
||
|
Using Deduction Modulo in Set TheorySETS14, 1st International Workshop about Sets and Tools, Jun 2014, Toulouse, France. pp.12
Communication dans un congrès
hal-01100512v1
|
||
|
Checking Zenon Modulo Proofs in DeduktiFourth Workshop on Proof eXchange for Theorem Proving (PxTP), Aug 2015, Berlin, Germany
Communication dans un congrès
hal-01171360v1
|
||
|
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti systemTYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
Communication dans un congrès
hal-01441751v1
|
||
|
First-order automated reasoning with theories: when deduction modulo theory meets practiceJournal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Article dans une revue
hal-02305831v1
|
||
|
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction ModuloLPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58
Communication dans un congrès
hal-01204701v2
|
||
|
Automated Deduction and Proof Certification for the B MethodLogic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English. ⟨NNT : ⟩
Thèse
tel-01420460v2
|
||
|
Soundly Proving B Method Formulae Using Typed Sequent Calculus13th International Colloquium on Theoretical Aspects of Computing (ICTAC), Oct 2016, Taipei, Taiwan. pp 196-213, ⟨10.1007/978-3-319-46750-4_12⟩
Communication dans un congrès
hal-01342849v1
|