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
002B92 (1995)	E. Kounalis ; M. Rusinowitch	Reasoning with Conditional Axioms
002C94 (1995)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction
003592 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	SPIKE, An Automatic Theorem Prover
003644 (1992)	E. Kounalis ; P. Marquis	Fundamental Methods for Horn Logic and Artificial Intelligence Applications
003742 (1992)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction with Test Sets
003890 (1991)	E. Kounalis ; M. Rusinowitch	On Word Problems in Horn Theories
003997 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
003A14 (1991)	E. Kounalis ; M. Rusinowitch	Studies on the Ground Convergence Property of Conditional Theories
003B38 (1990)	E. Kounalis	Pumping Lemmas for Tree Languages generated by Rewrite Systems
003B42 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
003B84 (1990)	E. Kounalis ; M. Rusinowitch	A Proof System for Conditional Specification
003C02 (1990)	E. Kounalis	Habilitation à Diriger des Recherches
003C10 (1990)	E. Kounalis ; M. Rusinowitch	Mechanizing Inductive Reasoning
003C34 (1990)	E. Kounalis ; M. Rusinowitch	A Logical Basis for Learning in Robots Worlds
003C50 (1990)	E. Kounalis	Testing for Inductive - (co) - Reducibility in Rewrite Systems
003C57 (1990)	E. Kounalis ; M. Rusinowitch	Discovering New Facts for First-Order Knowledge-Based Systems
003E80 (1988)	E. Kounalis ; M. Rusinowitch	On word problems in Horn theories
004241 (1986)	J.-P. Jouannaud ; E. Kounalis	Proofs by induction in equational theories without constructors
004334 (1985)	E. Kounalis	Validation des spécifications algébriques par complétion inductive
004362 (1985)	E. Kounalis ; H. Zhang	Testing completeness of conditional specifications
004386 (1985)	E. Kounalis ; H. Zhang	A general completeness test for equational specifications

---

List of associated KwdEn.i

Nombre de documents	Descripteur
5	algebraic specification
4	rewriting
3	completeness
3	induction
3	theorem proving
2	Horn clause
2	Horn clauses
2	conditional theories
2	data types
2	equational term rewriting systems
2	equational theories
2	reasoning
2	term rewriting systems
1	Herbrand universe
1	Horn logic
1	Horn theories
1	clauses
1	completion
1	conditional term rewriting systems
1	counterexamples
1	data type
1	equational conditional term rewriting systems
1	examples
1	first-order models
1	generalization
1	inductionless induction
1	initial model
1	instances
1	languages
1	learning
1	mathematical induction
1	proof method
1	proving theorem
1	resolution
1	robotics
1	specification
1	term rewriting
1	term-rewriting system
1	trees
1	word problems

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

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