scientific article
From MaRDI portal
Publication:2723409
zbMath0963.68233MaRDI QIDQ2723409
Leo Bachmair, Ashish Kumar Tiwari
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Deciding confluence of certain term rewriting systems in polynomial time, Fast congruence closure and extensions, A rewriting approach to satisfiability procedures., Combining Equational Reasoning
Uses Software
