The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Emmanuel Kounalis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Emmanuel Kounalis, Michaël Rusinowitch
    Mechanizing Inductive Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:240-245 [Conf]
  2. Emmanuel Kounalis, Michaël Rusinowitch
    Studies on the Ground Convergence Property of Conditional Theories. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:363-376 [Conf]
  3. Emmanuel Kounalis
    Testing for Inductive (Co)-Reducibility. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:221-238 [Conf]
  4. Jacques Chazarain, Emmanuel Kounalis
    Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:118-132 [Conf]
  5. Emmanuel Kounalis, Michaël Rusinowitch
    On Word Problems in Horn Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:527-537 [Conf]
  6. Emmanuel Kounalis, Michaël Rusinowitch
    On Word Problems in Horn Theories. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:144-160 [Conf]
  7. Emmanuel Kounalis, Michaël Rusinowitch
    A Proof System for Conditional Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:51-63 [Conf]
  8. Emmanuel Kounalis
    A Simplification-Based Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:82-86 [Conf]
  9. Emmanuel Kounalis
    Completeness in Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:348-362 [Conf]
  10. Emmanuel Kounalis, Michaël Rusinowitch
    Automatic Proof Methods for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    FCT, 1991, pp:307-317 [Conf]
  11. Emmanuel Kounalis, Pascal Urso
    Generalization Discovery for Proofs by Induction in Conditional Theories. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:250-256 [Conf]
  12. Emmanuel Kounalis, Pascal Urso
    Mechanizing Proofs of Integrity Constraints in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1999, pp:372-381 [Conf]
  13. Emmanuel Kounalis, Denis Lugiez, Loic Pottier
    A Solution of the Complement Problem in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:197-214 [Conf]
  14. Pascal Urso, Emmanuel Kounalis
    Généralisations correctes pour l'induction mathématique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:211-0 [Conf]
  15. Carine Fédèle, Emmanuel Kounalis
    Automatic Proofs of Properties of Simple C-- Modules. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:283-286 [Conf]
  16. Jean-Pierre Jouannaud, Emmanuel Kounalis
    Automatic Proofs by Induction in Equational Theories Without Constructors [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:358-366 [Conf]
  17. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
    SPIKE, an Automatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:460-462 [Conf]
  18. Emmanuel Kounalis
    Pumping Lemmas for Tree Languages Generated by Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:369-377 [Conf]
  19. Emmanuel Kounalis, Denis Lugiez, Loic Pottier
    A Solution of the Complement Problem in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:287-297 [Conf]
  20. Pascal Urso, Emmanuel Kounalis
    "Term Partition" for Mathematical Induction. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:352-366 [Conf]
  21. Emmanuel Kounalis, Denis Lugiez
    Compilation of Pattern Matching with Associative-Commutative Functions. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:57-73 [Conf]
  22. Emmanuel Kounalis, Michaël Rusinowitch
    Reasoning with Conditional Axioms. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:125-149 [Journal]
  23. Jean-Pierre Jouannaud, Emmanuel Kounalis
    Proofs by induction in equational theories without constructors. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1985, v:27, n:, pp:49-55 [Journal]
  24. Emmanuel Kounalis, Michaël Rusinowitch
    Mechanizing inductive reasoning. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:216-226 [Journal]
  25. Jean-Pierre Jouannaud, Emmanuel Kounalis
    Automatic Proofs by Induction in Theories without Constructors [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:1, pp:1-33 [Journal]
  26. Emmanuel Kounalis, Michaël Rusinowitch
    On Word Problems in Horn Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1991, v:11, n:1/2, pp:113-127 [Journal]
  27. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
    Automated Mathematical Induction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:5, pp:631-668 [Journal]
  28. Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis
    Rewriting of imperative programs into logical equations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:56, n:3, pp:363-401 [Journal]
  29. Emmanuel Kounalis
    Testing for the Ground (Co-)Reducibility Property in Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:106, n:1, pp:87-117 [Journal]
  30. Pascal Urso, Emmanuel Kounalis
    Sound generalizations in mathematical induction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:443-471 [Journal]

Search in 0.002secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002