 |
 |
 |
|
|
||
|---|---|---|
| tel-01748220v1
Theses
Automated reasoning techniques for hybrid logics Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩ |
||
| lirmm-00355290v1
Conference papers
De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT Journées d'Intelligence Artificielle Fondamentale, Oct 2008, pp.11 |
||
| tel-02406821v1
Theses
Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English |
||
| tel-02947853v1
Theses
On the Expressive Power of Invariant Logics over Sparse Classes of Structures Logic in Computer Science [cs.LO]. ENS Paris, 2020. English |
||
| tel-01746558v1
Theses
Conception de procédures de décision par combinaison et saturation Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10004⟩ |
||
| tel-01753552v1
Theses
Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1996. Français. ⟨NNT : 1996NAN10037⟩ |
||
| tel-00387017v1
Theses
Introduction de raisonnement dans un outil industriel de gestion des connaissances Génie logiciel [cs.SE]. Université Montpellier II - Sciences et Techniques du Languedoc, 2008. Français |
||
| tel-00947322v1
Theses
Apprentissage Supervisé Relationnel par Algorithmes d'Évolution Apprentissage [cs.LG]. Université Paris Sud - Paris XI, 2000. Français |
||
| inria-00099513v1
Directions of work or proceedings
4th International Workshop on First-Order Theorem Proving- FTP'2003 1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science |
||
| inria-00100031v1
Directions of work or proceedings
Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning Deepak Kapur and Laurent Vigneron. 33 / n°3-4, Kluwer, pp.219-383, 2004 |
||
| inria-00099056v1
Conference papers
Sequent Calculus Viewed Modulo 12th European Summer School in Logic, Language & Information - ESSLLI'2000 Student Session, FoLLI, 2000, Birmingham, england, 11 p |
||
| inria-00098614v1
Journal articles
Automated Deduction Techniques for Studying Rough Algebras Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 33 (1), pp.85-103 |
||
|
|
||