Concepedia

Emmanuel Kounalis

EK

8

Publications

392

Citations

8

H-Index

1985

Active since

Affiliations

Université Paris-Sud(Current)

Emmanuel Kounalis is an author at Université Paris-Sud specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceVerificationFormal VerificationSoftware AnalysisKnowledge DiscoveryLanguageSemantics

Publications per year

1985–2004

8

Publications

8

Automatic proofs by induction in theories without constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis · Information and Computation · 1989 · 119 citations

Engineering, Automated Reasoning, Automatic Proofs +7

Automatic Proofs by Induction in Equational Theories Without Constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis · Logic in Computer Science · 1986 · 104 citations

Engineering, Automated Reasoning, Automatic Proofs +4

Automated Mathematical Induction

Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch · Journal of Logic and Computation · 1995 · 57 citations

Artificial Intelligence, Computational Complexity Theory, Engineering +18

Testing for the ground (co-)reducibility property in term-rewriting systems

Emmanuel Kounalis · Theoretical Computer Science · 1992 · 35 citations

Engineering, Automated Reasoning, Regulated Rewriting +8

Proofs by induction in equational theories without constructors.

Jean-Pierre Jouannaud, Emmanuel Kounalis · Bulletin of the European Association for Theoretical Computer Science · 1985 · 29 citations

Equational Theories, Automated Reasoning, Mathematical Proof +2

Rows per page

1–5 of 8