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

Stéphane Kaplan Vis

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

*1991
23 Stéphane Kaplan, Mitsuhiro Okada: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings Springer 1991
22 Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Theor. Comput. Sci. 83(1): 71-96 (1991)
1990
21 N. Lichtenstein, Stéphane Kaplan: FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. CTRS 1990: 287-294
20 Christine Choppy, Stéphane Kaplan: Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE 1990: 173-184
1989
19EENachum Dershowitz, Stéphane Kaplan, David A. Plaisted: Infinite Normal Forms (Preliminary Version). ICALP 1989: 249-262
18 Nachum Dershowitz, Stéphane Kaplan: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. POPL 1989: 250-259
17EEStéphane Kaplan, Christine Choppy: Abstract Rewriting with Concrete Operations. RTA 1989: 178-186
16 Christine Choppy, Stéphane Kaplan, Michèle Soria: Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67(2&3): 261-282 (1989)
1988
15 Stéphane Kaplan, Jean-Pierre Jouannaud: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings Springer 1988
14EEStéphane Kaplan: Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. FSTTCS 1988: 419-434
13EEStéphane Kaplan: Positive/Negative Conditional Rewriting. MFCS 1988: 381-395
12 Stéphane Kaplan: Rewriting with a Nondeterministic Choice Operator. Theor. Comput. Sci. 56: 37-57 (1988)
1987
11 Stéphane Kaplan: Positive/Negative Conditional Rewriting. CTRS 1987: 129-143
10 Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin: ASSPEGIQUE: An Integrated Specification Environment. CTRS 1987: 251-252
9EEStéphane Kaplan: A Compiler for Conditional Term Rewriting Systems. RTA 1987: 25-41
8EEChristine Choppy, Stéphane Kaplan, Michèle Soria: Algorithmic Complexity of Term Rewriting Systems. RTA 1987: 256-273
7 Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin: Asspegique: An Integrated Specification Environment. STACS 1987: 471
6 Stéphane Kaplan: Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. J. Symb. Comput. 4(3): 295-334 (1987)
1986
5EEStéphane Kaplan: Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. ESOP 1986: 351-374
4 Stéphane Kaplan, Marianne Choquer: On the decidability of quasi-reducibility. Bulletin of the EATCS 28: 32-33 (1986)
1985
3EEChristine Choppy, G. Guiho, Stéphane Kaplan: A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 1985: 403-415
1984
2 Stéphane Kaplan: Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. ADT 1984: 136-155
1 Stéphane Kaplan: Conditional Rewrite Rules. Theor. Comput. Sci. 33: 175-193 (1984)

Coauthor Index

1Michel Bidoit [7] [10]
2Francis Capy [7] [10]
3Christine Choppy [3] [7] [8] [10] [16] [17] [20]
4M.-A. Choquer [7]
5Marianne Choquer [4]
6Nachum Dershowitz [18] [19] [22]
7G. Guiho [3]
8Jean-Pierre Jouannaud [15]
9N. Lichtenstein [21]
10Mitsuhiro Okada [23]
11David A. Plaisted [19] [22]
12Françoise Schlienger [7] [10]
13Michèle Soria [8] [16]
14Frédéric Voisin [7] [10]

Colors in the list of coauthors

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