Follow
A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version). (arXiv:2312.02996v1 [cs.LO]) http://arxiv.org/abs/2312.02996
A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version). (arXiv:2312.02996v1 [cs.LO]) http://arxiv.org/abs/2312.02996