research
∙
09/21/2023
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
Numerous confluence criteria for plain term rewrite systems are known. F...
share
research
∙
07/27/2023
Linear Termination over N is Undecidable
Recently it was shown that it is undecidable whether a term rewrite syst...
research
∙
07/26/2023
Hydra Battles and AC Termination, Revisited
We present a termination proof for the Battle of Hercules and Hydra repr...
research
∙
02/28/2020
Tools in Term Rewriting for Education
Term rewriting is a Turing complete model of computation. When taught to...
research
∙
02/23/2018