Stefan Michael Kahrs

Available identifiers

zbMath Open kahrs.stefan-michaelMaRDI QIDQ820945

List of research outcomes

Publication	Date of Publication	Type
Context rewriting	2023-03-09	Paper
Towards a domain theory for termination proofs	2022-12-09	Paper
Simplifying regular expressions further	2021-09-29	Paper
The variable containment problem	2019-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5369487	2017-10-17	Paper
Infinitary rewriting: closure operators, equivalences and models	2013-06-26	Paper
INFINITARY REWRITING: FOUNDATIONS REVISITED	2012-04-25	Paper
Modularity of convergence and strong convergence in infinitary rewriting	2010-09-21	Paper
Modularity of Convergence in Infinitary Rewriting	2009-06-30	Paper
Infinitary rewriting: meta-theory and convergence	2007-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4457456	2004-03-22	Paper
Red-black trees with types	2001-11-21	Paper
The definition of Extended ML: A gentle introduction	1998-07-22	Paper
Confluence of curried term-rewriting systems	1996-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4312482	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4001983	1992-09-18	Paper

Research outcomes over time

This page was built for person: Stefan Michael Kahrs