A proof of confluence for combinatory logic
-
Updated
Jan 16, 2017 - Coq
A proof of confluence for combinatory logic
A toy language based on rewriting using code from Baader and Nipkow.
A class for creating and implementing L-system grammars in python
Algebraic simplification in Julia
Aho-Corasick string replacement utility
Teri is a library for term rewriting using strategies.
My third year University dissertation, Term Rewriting System
The OpenCog (hyper-)graph database and graph rewriting system
Add a description, image, and links to the rewrite-system topic page so that developers can more easily learn about it.
To associate your repository with the rewrite-system topic, visit your repo's landing page and select "manage topics."