Term Rewriting Articles

Page 1 of 1 (4 articles)

7/10/2026 • EN

Lifting Terms: Making Well Scoped Syntax Dumber

Explores alternative representations for terms in programming languages, moving beyond standard lists to dictionaries, BDDs, and parameterized families.

Abstract Syntax Agda Coq Ocaml Term Rewriting

Philip Zucker

1/26/2026 • EN

Term Ordering Etudes: Ground Lexicographic Path Ordering

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

Philip Zucker

1/19/2026 • EN

Subterms Modulo Theories I

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

Philip Zucker

12/22/2025 • EN

An Inequality Union Find Inspired by Atomic Asymmetric Completion

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

Asymmetric Completion Egraph Rewrite Systems Term Rewriting Union Find

Philip Zucker

Term Rewriting Articles

Lifting Terms: Making Well Scoped Syntax Dumber

Term Ordering Etudes: Ground Lexicographic Path Ordering

Subterms Modulo Theories I

An Inequality Union Find Inspired by Atomic Asymmetric Completion

Select Language

We use cookies