E. Jeannot < E. Kounalis < E. Lavillonnière

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
000077 (1984)	E. Kounalis	Use trees, not to puzzle over completeness of data type specifications
000140 (1985)	E. Kounalis	Completeness in data type specifications
000148 (1985)	E. Kounalis ; H. Zhang	A general completeness test for equational specifications
000169 (1985)	E. Kounalis ; H. Zhang	Testing completeness of conditional specifications
000239 (1985)	E. Kounalis	Validation des spécifications algébriques par complétion inductive
000251 (1986)	J.-P. Jouannaud ; E. Kounalis	Proofs by induction in equational theories without constructors
000543 (1988)	E. Kounalis ; M. Rusinowitch	On word problems in Horn theories
000873 (1990)	E. Kounalis ; M. Rusinowitch	Mechanizing Inductive Reasoning
000901 (1990)	E. Kounalis	Testing for Inductive - (co) - Reducibility in Rewrite Systems
000904 (1990)	E. Kounalis ; M. Rusinowitch	Discovering New Facts for First-Order Knowledge-Based Systems
000905 (1990)	E. Kounalis ; M. Rusinowitch	A Logical Basis for Learning in Robots Worlds
000906 (1990)	E. Kounalis ; M. Rusinowitch	A Proof System for Conditional Specification
000907 (1990)	E. Kounalis	Pumping Lemmas for Tree Languages generated by Rewrite Systems
000908 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
000A74 (1990)	E. Kounalis	Habilitation à Diriger des Recherches
000C37 (1991)	E. Kounalis ; M. Rusinowitch	On Word Problems in Horn Theories
000C56 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
000C57 (1991)	E. Kounalis ; M. Rusinowitch	Studies on the Ground Convergence Property of Conditional Theories
000D84 (1992)	E. Kounalis ; P. Marquis	Fundamental Methods for Horn Logic and Artificial Intelligence Applications
000E51 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	SPIKE, An Automatic Theorem Prover
001011 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction with Test Sets

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/Author.i -k "E. Kounalis" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |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