Searching for authors named Emmanuel Kounalis – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Generalization Discovery for Proofs by Induction in Conditional Theories
by Emmanuel Kounalis, Urso Pascal — 1999
… KOUNALIS Emmanuel, URSO Pascal Universit de Nice - Sophia Antipolis, Laboratoire I3S Dpt. Informatique…
Add To MetaCart

Automated Mathematical Induction
by Adel Bouhoula, Emmanuel Kounalis — 1992
…Automated Mathematical Induction Adel Bouhoula y Emmanuel Kounalis z Micha#l Rusinowitch y y…
Cited by 19 (5 self) – Add To MetaCart

Automatic Proofs of Properties of Simple
by Gamma Gamma Modules, Carine Fedele, Emmanuel Kounalis
…Automatic Proofs of Properties of Simple C \Gamma\Gamma Modules Carine Fedele and Emmanuel…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB