Term Rewriting
(Up) | See also: Equational Logic
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 @ archive.org) ★★
Reflection in Rewriting Logic (borrow @ archive.org) 💭
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ archive.org) 💭