E. Kerrien < E. Kounalis < E. Kuhlein

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
00CC37 (1995)	E. Kounalis ; M. Rusinowitch	Reasoning with Conditional Axioms
00CD39 (1995)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction
00D665 (1994)	Adel Bouhoula [France] ; E. Kounalis ; Michaël Rusinowitch	Automated mathematical induction
00DC12 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	SPIKE, An Automatic Theorem Prover
00DC64 (1992)	E. Kounalis ; P. Marquis	Fundamental Methods for Horn Logic and Artificial Intelligence Applications
00DD62 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction with Test Sets
00E091 (1991)	E. Kounalis ; M. Rusinowitch	On Word Problems in Horn Theories
00E198 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
00E215 (1991)	E. Kounalis ; M. Rusinowitch	Studies on the Ground Convergence Property of Conditional Theories
00E357 (1991)	E. Kounalis [France] ; D. Lugiez [France]	Compilation of pattern matching with associative-commutative functions
00E473 (1990)	E. Kounalis	Pumping Lemmas for Tree Languages generated by Rewrite Systems
00E477 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
00E519 (1990)	E. Kounalis ; M. Rusinowitch	A Proof System for Conditional Specification
00E537 (1990)	E. Kounalis	Habilitation à Diriger des Recherches
00E545 (1990)	E. Kounalis ; M. Rusinowitch	Mechanizing Inductive Reasoning
00E569 (1990)	E. Kounalis ; M. Rusinowitch	A Logical Basis for Learning in Robots Worlds
00E585 (1990)	E. Kounalis	Testing for Inductive - (co) - Reducibility in Rewrite Systems
00E592 (1990)	E. Kounalis ; M. Rusinowitch	Discovering New Facts for First-Order Knowledge-Based Systems
00EA42 (1988)	E. Kounalis ; M. Rusinowitch	On word problems in Horn theories
00F024 (1986)	J.-P. Jouannaud ; E. Kounalis	Proofs by induction in equational theories without constructors
00F210 (1985)	E. Kounalis	Validation des spécifications algébriques par complétion inductive

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "E. Kounalis" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "E. Kounalis" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    E. Kounalis
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022