Searching for authors named Emmanuel Kounalis – sorted by Relevance.
-
Generalization Discovery for Proofs by Induction in Conditional Theories
- KOUNALIS Emmanuel, URSO Pascal Universit de Nice - Sophia Antipolis, Laboratoire I3S Dpt. Informatique
- Add To MetaCart
-
Automated Mathematical Induction
- 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
- Automatic Proofs of Properties of Simple C \Gamma\Gamma Modules Carine Fedele and Emmanuel
- Add To MetaCart

