Proving Confluence of Term Rewriting Systems Automatically
From MaRDI portal
Publication:3636821
DOI10.1007/978-3-642-02348-4_7zbMath1242.68125MaRDI QIDQ3636821
Yoshihito Toyama, Takahito Aoto, Jun-ichi Yoshida
Publication date: 30 June 2009
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02348-4_7
68Q42: Grammars and rewriting systems