Stéphane Kaplan

From MaRDI portal
(Redirected from Person:914404)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Abstract rewriting with concrete operators
Rewriting Techniques and Applications
2022-12-09Paper
scientific article; zbMATH DE number 1988979 (Why is no real title available?)2003-10-20Paper
Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
Theoretical Computer Science
1992-06-25Paper
Algebraic specification of concurrent systems
Theoretical Computer Science
1989-01-01Paper
scientific article; zbMATH DE number 4124993 (Why is no real title available?)1989-01-01Paper
Rewriting with a nondeterministic choice operator
Theoretical Computer Science
1988-01-01Paper
scientific article; zbMATH DE number 4092760 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4092743 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4090852 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4060702 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4041239 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4016182 (Why is no real title available?)1987-01-01Paper
Simplifying conditional term rewriting systems: Unification, termination and confluence
Journal of Symbolic Computation
1987-01-01Paper
scientific article; zbMATH DE number 3978366 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3938563 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3928329 (Why is no real title available?)1985-01-01Paper
Conditional rewrite rules
Theoretical Computer Science
1984-01-01Paper


Research outcomes over time


This page was built for person: Stéphane Kaplan