https://www.sri.com/publication/cyber-formal-methods-pubs/non-linear-rewrite-closure-and-weak-normalization/
Non-Linear Rewrite Closure and Weak Normalization - SRI
Apr 19, 2023 - We construct a rewrite closure for term rewrite systems with two properties: the right-handside term in each rewrite rule contains no repeated variable and no...
non linearrewrite closureweak normalizationsri
https://www.sri.com/publication/cyber-formal-methods-pubs/non-linear-rewrite-closure-and-weak-normalization-2/
Non-Linear Rewrite Closure and Weak Normalization - SRI
Mar 30, 2023 - We are able to prove decidability of the weak normalization problem for right-linear right-shallow term rewrite systems.
non linearrewrite closureweak normalizationsri