Skip to content
cs-conference-ranking.org

Emmanuel Kounalis

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

9

Active years

1986–1999

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
1999FlAIRSGeneralization Discovery for Proofs by Induction in Conditional Theories.Emmanuel Kounalis, Pascal Urso
1994CADEMechanizable Inductive Proofs for a Class of Forall Exists Formulas.Jacques Chazarain, Emmanuel Kounalis
1992ECAIA Simplification-Based Approach to Program Synthesis.Emmanuel Kounalis
1992LPARSPIKE, an Automatic Theorem Prover.Adel Bouhoula, Emmanuel Kounalis, Michal Rusinowitch
1991FCTAutomatic Proof Methods for Algebraic Specifications.Emmanuel Kounalis, Michal Rusinowitch
1991MFCSA Solution of the Complement Problem in Associative-Commutative Theories.Emmanuel Kounalis, Denis Lugiez, Loic Pottier
1990AAAIMechanizing Inductive Reasoning.Emmanuel Kounalis, Michal Rusinowitch
1990ICTAILearning from examples and counterexamples with equational background knowledge.Emmanuel Kounalis
1990MFCSPumping Lemmas for Tree Languages Generated by Rewrite Systems.Emmanuel Kounalis
1988CADEOn Word Problems in Horn Theories.Emmanuel Kounalis, Michal Rusinowitch
1986LICSAutomatic Proofs by Induction in Equational Theories Without ConstructorsJean-Pierre Jouannaud, Emmanuel Kounalis