dblp.uni-trier.dewww.uni-trier.de

Emmanuel Kounalis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Adel Bouhoula [19] [22]
2Jacques Chazarain [21]
3Carine Fédèle [26] [30]
4Jean-Pierre Jouannaud [1] [3] [6]
5Denis Lugiez [13] [14] [15]
6Olivier Ponsini [30]
7Loic Pottier [14] [15]
8Michaël Rusinowitch [4] [5] [7] [9] [11] [12] [16] [17] [19] [22] [23]
9Pascal Urso [24] [25] [27] [28] [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)