| 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 |
|---|
| 19 | | Nachum 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 |
| 17 | | Sté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 |
| 14 | | Stéphane Kaplan:
Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification.
FSTTCS 1988: 419-434 |
| 13 | | Sté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 |
| 9 | | Stéphane Kaplan:
A Compiler for Conditional Term Rewriting Systems.
RTA 1987: 25-41 |
| 8 | | Christine 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 |
|---|
| 5 | | Sté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 |
|---|
| 3 | | Christine 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) |
