Travelled to:1 × France
1 × Spain
2 × USA
Collaborated with:P.Urso C.Fédèle J.Chazarain M.Rusinowitch J.Jouannaud D.Lugiez
Talks about:induct (3) proof (3) automat (2) theori (2) constructor (1) properti (1) mechaniz (1) mathemat (1) function (1) without (1)
Person: Emmanuel Kounalis
DBLP: Kounalis:Emmanuel
Contributed to:
2003
1999
19941988
1986
1991Wrote 6 papers:
- RTA-2003-UrsoK #induction
- “Term Partition” for Mathematical Induction (PU, EK), pp. 352–366.
- ASE-1999-FedeleK #automation #proving
- Automatic Proofs of Properties of Simple C-- Modules (CF, EK), pp. 283–286.
- CADE-1994-ChazarainK #induction #proving
- Mechanizable Inductive Proofs for a Class of Forall Exists Formulas (JC, EK), pp. 118–132.
- CADE-1988-KounalisR #on the #problem #word
- On Word Problems in Horn Theories (EK, MR), pp. 527–537.
- LICS-1986-JouannaudK #automation #equation #induction #proving
- Automatic Proofs by Induction in Equational Theories Without Constructors (JPJ, EK), pp. 358–366.
- CAAP-1991-KounalisL #commutative #compilation #pattern matching
- Compilation of Pattern Matching with Associative-Commutative Functions (EK, DL), pp. 57–73.