Books.md @master — view markup · raw · history · blame
Term Rewriting Books
Advanced Topics in Term Rewriting
- authors: Enno Ohlebusch
- date: 2002
- borrow @ archive.org
.
Reflection in Rewriting Logic
- authors: Manuel Clavel
- date: 2000
- subtitle: Metalogical Foundations and Metaprogramming Applications
- borrow @ archive.org
.