Multi-completion with termination tools
From MaRDI portal
Publication:352956
DOI10.1007/s10817-012-9249-2zbMath1362.68253MaRDI QIDQ352956
Aart Middeldorp, Sarah Winkler, Haruhiko Sato, Masahito Kurihara
Publication date: 5 July 2013
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-012-9249-2
68Q42: Grammars and rewriting systems
Uses Software