Emmanuel Kounalis

Publication Activity (10 Years)

Years Active: 1985-2005
Publications (10 Years): 0

Publications

Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis
Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56 (3) (2005)
Pascal Urso, Emmanuel Kounalis
Sound generalizations in mathematical induction. Theor. Comput. Sci. 323 (1-3) (2004)
Pascal Urso, Emmanuel Kounalis
"Term Partition" for Mathematical Induction. RTA (2003)
Pascal Urso, Emmanuel Kounalis
Généralisations correctes pour l'induction mathématique. JFPLC (2002)
Emmanuel Kounalis, Pascal Urso
Mechanizing Proofs of Integrity Constraints in the Situation Calculus. IEA/AIE (1999)
Emmanuel Kounalis, Pascal Urso
Generalization Discovery for Proofs by Induction in Conditional Theories. FLAIRS Conference (1999)
Carine Fédèle, Emmanuel Kounalis
Modules. ASE (1999)
Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
Automated Mathematical Induction. J. Log. Comput. 5 (5) (1995)
Emmanuel Kounalis, Michaël Rusinowitch
Reasoning with Conditional Axioms. Ann. Math. Artif. Intell. 15 (2) (1995)
Jacques Chazarain, Emmanuel Kounalis
Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. CADE (1994)
Emmanuel Kounalis, Michaël Rusinowitch
A Logical Framework for Concept Learning with Background Knowledge. Int. J. Artif. Intell. Tools 2 (3) (1993)
Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
SPIKE, an Automatic Theorem Prover. LPAR (1992)
Emmanuel Kounalis
Learning from Examples in Universe of Discourse Described by a Set of equations. Int. J. Artif. Intell. Tools 1 (3) (1992)
Emmanuel Kounalis
A Simplification-Based Approach to Program Synthesis. ECAI (1992)
Emmanuel Kounalis
Testing for the Ground (Co-)Reducibility Property in Term-Rewriting Systems. Theor. Comput. Sci. 106 (1) (1992)
Emmanuel Kounalis, Michaël Rusinowitch
Studies on the Ground Convergence Property of Conditional Theories. AMAST (1991)
Emmanuel Kounalis, Denis Lugiez
Compilation of Pattern Matching with Associative-Commutative Functions. TAPSOFT, Vol.1 (1991)
Emmanuel Kounalis, Michaël Rusinowitch
On Word Problems in Horn Theories. J. Symb. Comput. 11 (1/2) (1991)
Emmanuel Kounalis, Michaël Rusinowitch
Automatic Proof Methods for Algebraic Specifications. FCT (1991)
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in Associative-Commutative Theories. MFCS (1991)
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in Associative-Commutative Theories. IWWERT (1991)
Emmanuel Kounalis, Michaël Rusinowitch
Mechanizing inductive reasoning. Bull. EATCS 41 (1990)
Emmanuel Kounalis, Michaël Rusinowitch
A Proof System for Conditional Algebraic Specifications. CTRS (1990)
Emmanuel Kounalis
Pumping Lemmas for Tree Languages Generated by Rewrite Systems. MFCS (1990)
Emmanuel Kounalis
Testing for Inductive (Co)-Reducibility. CAAP (1990)
Emmanuel Kounalis, Michaël Rusinowitch
Mechanizing Inductive Reasoning. AAAI (1990)
Emmanuel Kounalis
Learning from examples and counterexamples with equational background knowledge. TAI (1990)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Automatic Proofs by Induction in Theories without Constructors Inf. Comput. 82 (1) (1989)
Emmanuel Kounalis, Michaël Rusinowitch
On Word Problems in Horn Theories. CADE (1988)
Emmanuel Kounalis, Michaël Rusinowitch
On Word Problems in Horn Theories. CTRS (1987)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Automatic Proofs by Induction in Equational Theories Without Constructors LICS (1986)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Proofs by induction in equational theories without constructors. Bull. EATCS 27 (1985)
Emmanuel Kounalis
Completeness in Data Type Specifications. European Conference on Computer Algebra (2) (1985)