Stéphane Kaplan

Available identifiers

zbMath Open kaplan.stephaneMaRDI QIDQ914404

List of research outcomes

Publication	Date of Publication	Type
Abstract rewriting with concrete operators	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4430308	2003-10-20	Paper
Rewrite, rewrite, rewrite, rewrite, rewrite, \dots	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4205073	1989-01-01	Paper
Algebraic specification of concurrent systems	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795208	1988-01-01	Paper
Rewriting with a nondeterministic choice operator	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819976	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817657	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819995	1988-01-01	Paper
Simplifying conditional term rewriting systems: Unification, termination and confluence	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028335	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779721	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742702	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709891	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702496	1985-01-01	Paper
Conditional rewrite rules	1984-01-01	Paper

Research outcomes over time

This page was built for person: Stéphane Kaplan