Stefan 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
https://portal.mardi4nfdi.de/entity/Q5389142	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Kahrs