Concepedia
Statistics
Publications
4
Citations
339
H-Index
Active since
1984
Affiliations
Université Paris Cité(Current)
Laboratoire de Recherche en Informatique
Université Paris-Sud
Stéphane Kaplan is an author at Université Paris Cité specializing in rewriting systems, computer science, and formal methods.
Publications per year
1984–1991
Conditional rewrite rules
Stéphane Kaplan · Theoretical Computer Science · 1984 · 147 citations
Simplifying conditional term rewriting systems : Unification, termination and confluence
Stéphane Kaplan · Journal of Symbolic Computation · 1987 · 93 citations
Language Studies, Linguistics, Formal Methods +7
Rewrite, rewrite, rewrite, rewrite, rewrite, …
Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted · Theoretical Computer Science · 1991 · 85 citations
Computing, Computer Science, Programming Languages +3
Rewriting with a nondeterministic choice operator
Stéphane Kaplan · Theoretical Computer Science · 1988 · 14 citations
Computing, Computer Science, Formal Methods +3
1–4 of 4