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 ★★ 💭
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) ★ 💭