|
Search the dblp DataBase
Stéphane Kaplan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stéphane Kaplan
Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. [Citation Graph (0, 0)][DBLP] ADT, 1984, pp:136-155 [Conf]
- N. Lichtenstein, Stéphane Kaplan
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. [Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:287-294 [Conf]
- Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
ASSPEGIQUE: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:251-252 [Conf]
- Stéphane Kaplan
Positive/Negative Conditional Rewriting. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:129-143 [Conf]
- Stéphane Kaplan
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. [Citation Graph (0, 0)][DBLP] ESOP, 1986, pp:351-374 [Conf]
- Stéphane Kaplan
Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. [Citation Graph (0, 0)][DBLP] FSTTCS, 1988, pp:419-434 [Conf]
- Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
Infinite Normal Forms (Preliminary Version). [Citation Graph (0, 0)][DBLP] ICALP, 1989, pp:249-262 [Conf]
- Christine Choppy, Stéphane Kaplan
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. [Citation Graph (0, 0)][DBLP] ICSE, 1990, pp:173-184 [Conf]
- Stéphane Kaplan
Positive/Negative Conditional Rewriting. [Citation Graph (0, 0)][DBLP] MFCS, 1988, pp:381-395 [Conf]
- Nachum Dershowitz, Stéphane Kaplan
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. [Citation Graph (0, 0)][DBLP] POPL, 1989, pp:250-259 [Conf]
- Christine Choppy, Stéphane Kaplan, Michèle Soria
Algorithmic Complexity of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 1987, pp:256-273 [Conf]
- Stéphane Kaplan
A Compiler for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 1987, pp:25-41 [Conf]
- Stéphane Kaplan, Christine Choppy
Abstract Rewriting with Concrete Operations. [Citation Graph (0, 0)][DBLP] RTA, 1989, pp:178-186 [Conf]
- Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
Asspegique: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP] STACS, 1987, pp:471- [Conf]
- Christine Choppy, G. Guiho, Stéphane Kaplan
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:403-415 [Conf]
- Stéphane Kaplan, Marianne Choquer
On the decidability of quasi-reducibility. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1986, v:28, n:, pp:32-33 [Journal]
- Stéphane Kaplan
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1987, v:4, n:3, pp:295-334 [Journal]
- Christine Choppy, Stéphane Kaplan, Michèle Soria
Complexity Analysis of Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:67, n:2&3, pp:261-282 [Journal]
- Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:83, n:1, pp:71-96 [Journal]
- Stéphane Kaplan
Conditional Rewrite Rules. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:175-193 [Journal]
- Stéphane Kaplan
Rewriting with a Nondeterministic Choice Operator. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1988, v:56, n:, pp:37-57 [Journal]
Search in 0.002secs, Finished in 0.003secs
|