Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « E. Kounalis »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
E. Kerrien < E. Kounalis < E. Kuhlein  Facettes :

List of bibliographic references indexed by E. Kounalis

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]
Ident.Authors (with country if any)Title
00C380 (1995) E. Kounalis ; M. RusinowitchReasoning with Conditional Axioms
00C482 (1995) A. Bouhoula ; E. Kounalis ; M. RusinowitchAutomated Mathematical Induction
00CD93 (1994) Adel Bouhoula [France] ; E. Kounalis ; Michaël RusinowitchAutomated mathematical induction
00D335 (1992) A. Bouhoula ; E. Kounalis ; M. RusinowitchSPIKE, An Automatic Theorem Prover
00D387 (1992) E. Kounalis ; P. MarquisFundamental Methods for Horn Logic and Artificial Intelligence Applications
00D485 (1992) A. Bouhoula ; E. Kounalis ; M. RusinowitchAutomated Mathematical Induction with Test Sets
00D813 (1991) E. Kounalis ; M. RusinowitchOn Word Problems in Horn Theories
00D920 (1991) E. Kounalis ; M. RusinowitchAutomatic Proof Methods for Algebraic Specifications
00D937 (1991) E. Kounalis ; M. RusinowitchStudies on the Ground Convergence Property of Conditional Theories
00DA79 (1991) E. Kounalis [France] ; D. Lugiez [France]Compilation of pattern matching with associative-commutative functions
00DB93 (1990) E. KounalisPumping Lemmas for Tree Languages generated by Rewrite Systems
00DB97 (1990) E. Kounalis ; M. RusinowitchA Mechanization of Conditional Reasoning
00DC39 (1990) E. Kounalis ; M. RusinowitchA Proof System for Conditional Specification
00DC57 (1990) E. KounalisHabilitation à Diriger des Recherches
00DC65 (1990) E. Kounalis ; M. RusinowitchMechanizing Inductive Reasoning
00DC89 (1990) E. Kounalis ; M. RusinowitchA Logical Basis for Learning in Robots Worlds
00DD05 (1990) E. KounalisTesting for Inductive - (co) - Reducibility in Rewrite Systems
00DD12 (1990) E. Kounalis ; M. RusinowitchDiscovering New Facts for First-Order Knowledge-Based Systems
00E159 (1988) E. Kounalis ; M. RusinowitchOn word problems in Horn theories
00E736 (1986) J.-P. Jouannaud ; E. KounalisProofs by induction in equational theories without constructors
00E921 (1985) E. KounalisValidation 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/Exploration

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

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

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

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

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