Skip to Main content Skip to Navigation


...
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
...
tel-02406821v1  Theses
Marco Voigt. 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
Julien Grange. 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
Duc-Khanh Tran. 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-00387017v1  Theses
Olivier Carloni. 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
Sébastien Augier. 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
Ingo DahnLaurent Vigneron. 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
Deepak KapurLaurent Vigneron. 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
Eric Deplagne. 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
Laurent Vigneron. Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 33 (1), pp.85-103