Reduction operators and completion of rewriting systems

From MaRDI portal
Publication:2399863

DOI10.1016/j.jsc.2017.03.002zbMath1371.68136arXiv1605.00174OpenAlexW2962851192MaRDI QIDQ2399863

Cyrille Chenavier

Publication date: 24 August 2017

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.00174




Related Items (3)


Uses Software


Cites Work




This page was built for publication: Reduction operators and completion of rewriting systems