rewrite-systems topic
List
rewrite-systems repositories
AlgebraicRewriting.jl
24
Stars
5
Forks
Watchers
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
