The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable

Konstantin Korovin, Andrei Voronkov. The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable. In Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach, editors, Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. Volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, 2000. [doi]

Abstract

Abstract is missing.