README.md @master — view markup · raw · history · blame
Term Rewriting
(Up) | See also: Equational Logic
Papers
A Constructive Semantics for Rewriting Logic
Rewriting Logic as a Logical and Semantic Framework (online @ maude.cs.uiuc.edu)
Books
Advanced Topics in Term Rewriting (borrow @ archive.org)
Reflection in Rewriting Logic (borrow @ archive.org)