BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kounalis:Emmanuel

Contributed to:

RTA 20032003
ASE 19991999
CADE 19941994
CADE 19881988
LICS 19861986
TAPSOFT, Vol.1: CAAP 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.