Term Rewriting Articles

Page 1 of 1 (3 articles)

1/26/2026 • EN

An exploration of Ground Lexicographic Path Ordering (LPO) for term rewriting systems, including a Python implementation and property tests.

Ground Terms Knuth Bendix Ordering Lexicographic Path Ordering Term Ordering Term Rewriting

1/19/2026 • EN

Explores generalizing term operations like unification and rewriting to advanced structures like AC terms and rational terms, with Python examples.

Ac Terms Egraphs Formal Methods Term Rewriting Unification

12/22/2025 • EN

Explores asymmetric completion, a union-find algorithm variant for inequality reasoning, with Python implementation insights.

Asymmetric Completion Egraph Rewrite Systems Term Rewriting Union Find

Select Language