Stéphane Kaplan

Publication Activity (10 Years)

Years Active: 1984-1991
Publications (10 Years): 0

Publications

Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Theor. Comput. Sci. 83 (1) (1991)
Christine Choppy, Stéphane Kaplan
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE (1990)
N. Lichtenstein, Stéphane Kaplan
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. CTRS (1990)
Stéphane Kaplan, Christine Choppy
Abstract Rewriting with Concrete Operations. RTA (1989)
Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
Infinite Normal Forms (Preliminary Version). ICALP (1989)
Christine Choppy, Stéphane Kaplan, Michèle Soria
Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67 (2&3) (1989)
Nachum Dershowitz, Stéphane Kaplan
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. POPL (1989)
Stéphane Kaplan
Rewriting with a Nondeterministic Choice Operator. Theor. Comput. Sci. 56 (1988)
Stéphane Kaplan
Positive/Negative Conditional Rewriting. MFCS (1988)
Stéphane Kaplan
Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. FSTTCS (1988)
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
ASSPEGIQUE: An Integrated Specification Environment. CTRS (1987)
Stéphane Kaplan
A Compiler for Conditional Term Rewriting Systems. RTA (1987)
Stéphane Kaplan
Positive/Negative Conditional Rewriting. CTRS (1987)
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)
Christine Choppy, Stéphane Kaplan, Michèle Soria
Algorithmic Complexity of Term Rewriting Systems. RTA (1987)
Stéphane Kaplan
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. J. Symb. Comput. 4 (3) (1987)
Stéphane Kaplan, Marianne Choquer
On the decidability of quasi-reducibility. Bull. EATCS 28 (1986)
Stéphane Kaplan
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. ESOP (1986)
Christine Choppy, G. Guiho, Stéphane Kaplan
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 (1985)
Stéphane Kaplan
Conditional Rewrite Rules. Theor. Comput. Sci. 33 (1984)
Stéphane Kaplan
Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. ADT (1984)