2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2016
A Characterization of Quasi-Decreasingness
Thomas Sternagel, Christian Sternagel
In 2010 Schernhammer and Gramlich showed that quasi-decreasingness of a DCTRS R is equivalent to μ-termination of its context-sensitive unraveling Ucs(R) on original terms. While t…
cs.LO2016★ 2 cited
Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs
Thomas Sternagel, Christian Sternagel
We present an Isabelle/HOL formalization of a characterization of confluence for quasi-reductive strongly deterministic conditional term rewrite systems, due to Avenhaus and Loría-…