Stéphane Kaplan

From MaRDI portal
(Redirected from Stéphane Kaplan)



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
scientific article; zbMATH DE number 4124993 (Why is no real title available?)1989-01-01Paper
Algebraic specification of concurrent systems
Theoretical Computer Science
1989-01-01Paper
Rewriting with a nondeterministic choice operator
Theoretical Computer Science
1988-01-01Paper
scientific article; zbMATH DE number 4060702 (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 4092743 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4092760 (Why is no real title available?)1988-01-01Paper
Simplifying conditional term rewriting systems: Unification, termination and confluence
Journal of Symbolic Computation
1987-01-01Paper
scientific article; zbMATH DE number 4016182 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4041239 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 3978366 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3928329 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3938563 (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