git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Term Rewriting
master

Tree @master (Download .tar.gz)

Term Rewriting

(Up) | Wikipedia: Rewriting#Term rewriting systems | See also: Equational Logic

Works regarding the study of term rewriting systems.

Web resources

(in Programming Languages) Pure Programming Language ★

(in Programming Languages) Refal ★

(in Programming Languages) K | Runtime Verification Inc ★

Repositories

(in Attribute Grammars) christoff-buerger/racr: Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting. ★

Papers

Combinatory Reduction Systems ★★ 💭

Matching Power ★ 💭

A Constructive Semantics for Rewriting Logic ★★ 💭

Rewriting Logic as a Logical and Semantic Framework (online @ maude.cs.uiuc.edu)

(in Equational Logic) Equational logic, unification and term rewriting ★★

Books

Advanced Topics in Term Rewriting (borrow with print disabilities @ archive.org) ★★

Reflection in Rewriting Logic (borrow @ archive.org) 💭

(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow with print disabilities @ archive.org) ★ 💭

History of by-topic / Term Rewriting @master git clone https://git.catseye.tc/The-Glosscubator/