Filtrer vos résultats
- 10
- 2
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 11
- 1
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 13
- 9
- 7
- 4
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 13
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
13 résultats
|
|
triés par
|
|
Proving Determinacy of the PharOS Real-Time Operating SystemAbstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
Communication dans un congrès
hal-01322335v1
|
||
|
A general proof certification framework for modal logic[Research Report] INRIA. 2017
Rapport
hal-01643126v1
|
||
|
Defining the meaning of TPTP formatted proofs11th International Workshop on the Implementation of Logics, Nov 2015, Suva, Fiji
Communication dans un congrès
hal-01238434v1
|
||
Regular Patterns in Second-Order UnificationProceedings of CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.1007/978-3-319-21401-6_38⟩
Communication dans un congrès
hal-01242215v1
|
|||
|
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal LogicsARQNL 2014 - The first International Workshop on Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. pp.1-16
Communication dans un congrès
hal-01063512v1
|
||
|
Functions-as-constructors higher-order unification: extended pattern unificationAnnals of Mathematics and Artificial Intelligence, 2021, ⟨10.1007/s10472-021-09774-y⟩
Article dans une revue
hal-03457303v1
|
||
|
Functions-as-constructors Higher-order Unification1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Delia Kesner and Brigitte Pientka, Jun 2016, Porto, Portugal. pp.1 - 17, ⟨10.4230/LIPIcs.FSCD.2016.26⟩
Communication dans un congrès
hal-01379683v1
|
||
|
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers5th Workshop on Practical Aspects of Automated Reasoning, Jul 2016, Coimbra, Portugal
Communication dans un congrès
hal-01424749v1
|
||
A validation process for a legal formalization methodLN2FR – METHODOLOGIES FOR TRANSLATING LEGAL NORMS INTO FORMAL REPRESENTATIONS, Université de Sarrebruck, Dec 2022, Saarbrücken, France
Communication dans un congrès
hal-03941560v1
|
|||
|
System Description: The Proof Transformation System CERESInternational Joint Conference on Automated Reasoning, Jul 2010, Edinburgh, United Kingdom. pp.427-433, ⟨10.1007/978-3-642-14203-1_36⟩
Communication dans un congrès
hal-00545482v1
|
||
|
Certification of labeled proofs for modal logics with geometric frame conditions2017
Pré-publication, Document de travail
hal-01643120v1
|
||
|
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
|
||
|
The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies.2021
Autre publication scientifique
hal-03230287v1
|