Stefan Michael Kahrs

MaRDI QIDQ820945zbMATH OpenFDO

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!

Publication	Date of Publication	Type
Context rewriting Conditional Term Rewriting Systems	2023-03-09	Paper
Towards a domain theory for termination proofs Rewriting Techniques and Applications	2022-12-09	Paper
Simplifying regular expressions further Journal of Symbolic Computation	2021-09-29	Paper
The variable containment problem Higher-Order Algebra, Logic, and Term Rewriting	2019-01-11	Paper
Non-\(\omega\)-overlapping TRSs are UN	2017-10-17	Paper
Infinitary rewriting: closure operators, equivalences and models Acta Informatica	2013-06-26	Paper
Infinitary rewriting: foundations revisited	2012-04-25	Paper
Modularity of convergence and strong convergence in infinitary rewriting Logical Methods in Computer Science	2010-09-21	Paper
Modularity of Convergence in Infinitary Rewriting Rewriting Techniques and Applications	2009-06-30	Paper
Infinitary rewriting: meta-theory and convergence Acta Informatica	2007-06-07	Paper
scientific article; zbMATH DE number 2061709 (Why is no real title available?)	2004-03-22	Paper
Red-black trees with types Journal of Functional Programming	2001-11-21	Paper
The definition of Extended ML: A gentle introduction Theoretical Computer Science	1998-07-22	Paper
Confluence of curried term-rewriting systems Journal of Symbolic Computation	1996-02-20	Paper
scientific article; zbMATH DE number 683361 (Why is no real title available?)	1994-11-29	Paper
scientific article; zbMATH DE number 51605 (Why is no real title available?)	1992-09-18	Paper

Research outcomes over time

This page was built for person: Stefan Michael Kahrs