Emmanuel Kounalis

Sci. Comput. Program., 2005

2004

Sound generalizations in mathematical induction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

"Term Partition" for Mathematical Induction.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Généralisations correctes pour l'induction mathématique.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

1999

Automatic Proofs of Properties of Simple C<sup>-</sup> Modules.

[BibT_eX]

[DOI]

Carine Fédèle

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Mechanizing Proofs of Integrity Constraints in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Generalization Discovery for Proofs by Induction in Conditional Theories.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1995

Automated Mathematical Induction.

[BibT_eX]

[DOI]

Adel Bouhoula

J. Log. Comput., 1995

Reasoning with Conditional Axioms.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1994

Mechanizable Inductive Proofs for a Class of Forall Exists Formulas.

[BibT_eX]

[DOI]

Jacques Chazarain

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

A Logical Framework for Concept Learning with Background Knowledge.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1993

1992

Testing for the Ground (Co-)Reducibility Property in Term-Rewriting Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Learning from Examples in Universe of Discourse Described by a Set of equations.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1992

SPIKE, an Automatic Theorem Prover.

[BibT_eX]

[DOI]

Adel Bouhoula

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Simplification-Based Approach to Program Synthesis.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

On Word Problems in Horn Theories.

[BibT_eX]

[DOI]

J. Symb. Comput., 1991

Compilation of Pattern Matching with Associative-Commutative Functions.

[BibT_eX]

[DOI]

Denis Lugiez

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

A Solution of the Complement Problem in Associative-Commutative Theories.

[BibT_eX]

[DOI]

Denis Lugiez

Loic Pottier

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Automatic Proof Methods for Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

Studies on the Ground Convergence Property of Conditional Theories.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Mechanizing inductive reasoning.

[BibT_eX]

Bull. EATCS, 1990

Pumping Lemmas for Tree Languages Generated by Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Learning from examples and counterexamples with equational background knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

A Proof System for Conditional Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Testing for Inductive (Co)-Reducibility.

[BibT_eX]

[DOI]

Proceedings of the CAAP '90, 1990

1989

Automatic Proofs by Induction in Theories without Constructors

[BibT_eX]

[DOI]

Jean-Pierre Jouannaud

Inf. Comput., July, 1989

1986

Automatic Proofs by Induction in Equational Theories Without Constructors

[BibT_eX]

Jean-Pierre Jouannaud

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

Proofs by induction in equational theories without constructors.

[BibT_eX]

Jean-Pierre Jouannaud

Bull. EATCS, 1985

Completeness in Data Type Specifications.

[BibT_eX]

[DOI]