Follow
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination. (arXiv:2106.13826v1 [cs.LO]) http://arxiv.org/abs/2106.13826
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination. (arXiv:2106.13826v1 [cs.LO]) http://arxiv.org/abs/2106.13826