A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering

Konstantin Korovin, Andrei Voronkov

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Original languageEnglish
    Title of host publicationLICS
    Pages291-302
    Number of pages12
    Publication statusPublished - 2000

    Access to Document

    Cite this