Kaplan, Stéphane
Kaplan, Stéphane, 1961-1991
Kaplan, Stéphane 1961-
Kaplan, S. (Stéphane), 1961-
Kaplan, S.
Kaplan, S. (Stéphane)
Kaplan, S. (Stéphane), 1962-
VIAF ID: 109699563 ( Personal )
Permalink: http://viaf.org/viaf/109699563
Preferred Forms
- 200 _ | ‡a Kaplan ‡b Stéphane
-
-
-
- 100 1 0 ‡a Kaplan, S. ‡q (Stéphane), ‡d 1961-
-
- 100 1 _ ‡a Kaplan, Stéphane ‡d 1961-1991
- 100 1 _ ‡a Kaplan, Stéphane, ‡d 1961-1991
- 100 1 _ ‡a Kaplan, Stéphane
-
-
- 100 1 _ ‡a Kaplan, Stéphane ‡d 1961-
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Abstract rewriting with concrete operators | |
Algebraic semantics of FP languages a LISP interpreter and its proff | |
Algebraic semantics of real-time process specifications | |
Complexity analysis of term rewriting systems | |
Complexity calculus for abstract data types | |
Conditional term rewriting systems : 1st International Workshop Orsay, France, July 8-10, 1987, proceedings | |
CTRS | |
International CTRS Workshop (2nd : 1990 : Montréal, Québec). Conditional and typed rewriting systems, c1991: | |
Optimising the management of patients with benign prostatic hyperplasia | |
Spécification algébrique de types de données à accès concurrent | |
Specification language to algebraic abstract-data types. |