 |
 |
 |
 |
|
|
|
|---|---|---|
|
inria-00073019v1
Rapport
Jean Goubault-Larrecq. A Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction [Research Report] RR-3653, INRIA. 1999 |
||
|
inria-00073288v1
Rapport
Cesare Tinelli, Christophe Ringeissen. Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results [Research Report] RR-3402, INRIA. 1998, pp.63 |
||
|
inria-00074775v1
Rapport
Michael Rusinowitch, Laurent Vigneron. Automated deduction with associative commutative operators [Research Report] RR-1896, INRIA. 1993, pp.34 |
||
|
inria-00077202v1
Rapport
Gilles Dowek, Thérèse Hardin, Claude Kirchner. Holls: an Intentional First-Order Expression of Higher-Order Logic [Research Report] RR-3556, INRIA. 1998, pp.26 |
||
|
inria-00098993v1
Chapitre d'ouvrage
Didier Galmiche, Vincent Balat. Labelled Proof Systems for Intuitionistic Provability D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3 |
||
|
inria-00099187v1
Communication dans un congrès
Jürgen Stuber. Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems Leo Bachmair. International Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, Springer-Verlarg, 1833, pp.229-245, 2000, Lecture Notes in Computer Science |
||
|
inria-00099161v1
Communication dans un congrès
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols Michel Parigot, Andrei Voronkov. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, Springer-Verlag, 1955, pp.131-160, 2000, Lecture Notes in Computer Science |
||
|
inria-00098614v1
Article dans une revue
Laurent Vigneron. Automated Deduction Techniques for Studying Rough Algebras Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 33 (1), pp.85-103 |
||
|
inria-00099990v1
Article dans une revue
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28 |
||
|
inria-00099711v1
Article dans une revue
Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72 |
||
|
inria-00098986v1
Article dans une revue
Miki Hermann, Phokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136 |
||
|
inria-00101100v1
Chapitre d'ouvrage
Alexander Bockmayr, Volker Weispfenning. Solving numerical constraints A. Robinson and A. Voronkov. Handbook of Automated Reasoning, Elsevier, pp.751-842, 2001 |
||
|
inria-00101104v1
Communication dans un congrès
Yannick Chevalier, Laurent Vigneron. Towards Efficient Automated Verification of Security Protocols Verification Workshop - VERIFY'01 (in connection with IJCAR'01), Jun 2001, Siena, Italy, 15 p, 2001 |
||
|
inria-00100791v1
Communication dans un congrès
Luc Habert, Jean-Marc Notin, Didier Galmiche. LINK: a Proof Environment based on Proof nets U. Egly, C.G. Fermüller. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX'02, 2002, Copenhagen, Denmark, Springer Verlag, 2381, pp.330-334, 2002, Lecture Notes in Computer Science |
||
|
tel-00011236v1
Thèse
Mnacho Echenim. Déduction et Unification dans les Théories Permutatives Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français |
||
|
inria-00100610v1
Communication dans un congrès
Alessandro Armando, Michael Rusinowitch, Sorin Stratulat. Incorporating Decision Procedures in Implicit Induction 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS'2001, 2001, Sienne, Italy, 16 p, 2001 |
||
|
inria-00098606v1
Communication dans un congrès
Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michael Rusinowitch. Decision problems in ordered rewriting Proceedings 13th IEEE Symposium on Logic in Computer Science, 1998, none, 11 p, 1998 |
||
|
inria-00098624v1
Communication dans un congrès
Narjes Berregeb, Adel Bouhoula, Michael Rusinowitch. Observational Proofs with Critical Contexts Fundamental Approaches to Software Engineering - ETAPS'98, 1998, Lisboa, Portugal, Springer-Verlag, 1382, pp.38-53, 1998, Lecture Notes in Computer Science |
||
|
inria-00098496v1
Communication dans un congrès
Sorin Stratulat. Applying semantic subsumption rules in the context of inductive proofs Workshop on Integration of Deductive Systems - CADE-15, 1998, none, 11 p, 1998 |
||
|
inria-00098475v1
Chapitre d'ouvrage
Anita Wasilewska, Laurent Vigneron. Rough Algebras & Automated Deduction L. Polkowski & A. Skowron. Rough Sets in Knowledge Discovery, Springer Verlag, pp.261-275, 1998 |
||
|
inria-00098600v1
Communication dans un congrès
Didier Galmiche. Proof construction in linear logic and programming COST 15 LIEGE Seminar on Non Classical Logics for Computer Science Applications, invited lecture, 1998, Liege/Belgium, 1 p, 1998 |
||
|
inria-00098418v1
Chapitre d'ouvrage
Hélène Kirchner. Orderings in Automated Theorem Proving Hoffman, Frederick. Mathematical Aspects of Artificial Intelligence, American Mathematical Society, pp.55-95, 1998, Proceedings of Symposia in Applied Mathematics |
||
|
inria-00098417v1
Direction d'ouvrage, Proceedings
Claude Kirchner, Hélène Kirchner. Automated Deduction - CADE-15 Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence |
||
|
tel-00523658v1
Thèse
Vincent Aravantinos. Schémas de formules et de preuves en logique propositionnelle Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2010. Français |
||
|
inria-00072474v1
Rapport
Alessandro Armando, Silvio Ranise, Michael Rusinowitch. Uniform Derivation of Decision Procedures by Superposition [Research Report] RR-4151, INRIA. 2001, pp.13 |
||
|
inria-00072712v1
Rapport
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols [Research Report] RR-3938, INRIA. 2000, pp.25 |
||
|
inria-00099470v1
Communication dans un congrès
Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p, 2003 |
||
|
inria-00099001v1
Communication dans un congrès
Francis Klay, Michael Rusinowitch, Sorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems 7th International Conference on Telecommunication Systems Modeling & Analysis, 1999, Nashville, Tennessee, USA, 33 p, 1999 |
||
|
inria-00098752v1
Communication dans un congrès
Laurent Vigneron, Anita Wasilewska. Rough Sets based Proofs Visualisation Dave, R. N. & Sudkamp, T. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS'99, invited session on Granular Computing and Rough Sets, 1999, New York, USA, IEEE, pp.805-808, 1999 |
||
|
inria-00098554v1
Communication dans un congrès
Denis Lugiez. A Good Class of Tree Automata ICALP, 1998, none, 1998 |
||
|
|
|