Stéphane Kaplan

23 papers A* 3A 2B 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
1991 — ed.
Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings
CTRS
Stéphane Kaplan, Mitsuhiro Okada
1991 J jnl
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . .
Theor. Comput. Sci.
Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
1990 — conf
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages.
CTRS
N. Lichtenstein, Stéphane Kaplan
1990 A* conf
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.
ICSE
Christine Choppy, Stéphane Kaplan
1989 — conf
Abstract Rewriting with Concrete Operations.
RTA
Stéphane Kaplan, Christine Choppy
1989 J jnl
Complexity Analysis of Term-Rewriting Systems.
Theor. Comput. Sci.
Christine Choppy, Stéphane Kaplan, Michèle Soria
1989 A* conf
Infinite Normal Forms (Preliminary Version).
ICALP
Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
1989 A* conf
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite.
POPL
Nachum Dershowitz, Stéphane Kaplan
1988 — conf
Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification.
FSTTCS
Stéphane Kaplan
1988 — ed.
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings
CTRS
Stéphane Kaplan, Jean-Pierre Jouannaud
1988 B conf
Positive/Negative Conditional Rewriting.
MFCS
Stéphane Kaplan
1988 J jnl
Rewriting with a Nondeterministic Choice Operator.
Theor. Comput. Sci.
Stéphane Kaplan
1987 — conf
A Compiler for Conditional Term Rewriting Systems.
RTA
Stéphane Kaplan
1987 — conf
ASSPEGIQUE: An Integrated Specification Environment.
CTRS
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
1987 — conf
Algorithmic Complexity of Term Rewriting Systems.
RTA
Christine Choppy, Stéphane Kaplan, Michèle Soria
1987 A conf
Asspegique: An Integrated Specification Environment.
STACS
Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
1987 — conf
Positive/Negative Conditional Rewriting.
CTRS
Stéphane Kaplan
1987 J jnl
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence.
J. Symb. Comput.
Stéphane Kaplan
1986 J jnl
On the decidability of quasi-reducibility.
Bull. EATCS
Stéphane Kaplan, Marianne Choquer
1986 A conf
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.
ESOP
Stéphane Kaplan
1985 — conf
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.
TAPSOFT, Vol.1
Christine Choppy, G. Guiho, Stéphane Kaplan
1984 J jnl
Conditional Rewrite Rules.
Theor. Comput. Sci.
Stéphane Kaplan
1984 — conf
Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence.
ADT
Stéphane Kaplan