Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Algorithms, Games, and the Internet Kapitel lesen Erstes Kapitel lesen

2001 | OriginalPaper | Buchkapitel

Knuth-Bendix Constraint Solving Is NP-Complete

verfasst von : Konstantin Korovin, Andrei Voronkov

Erschienen in: Automata, Languages and Programming

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We show the NP-completeness of the existential theory of term algebras with the Knuth-Bendix order by giving a nondeterministic polynomial-time algorithm for solving Knuth-Bendix ordering constraints.

Vorheriges Kapitel An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
Nächstes Kapitel Amalgamation in CASL via Enriched Signatures
Metadaten
Titel
Knuth-Bendix Constraint Solving Is NP-Complete
verfasst von
Konstantin Korovin
Andrei Voronkov
Copyright-Jahr
2001
Verlag
Springer Berlin Heidelberg
Buch
Automata, Languages and Programming

Print ISBN: 978-3-540-42287-7

Electronic ISBN: 978-3-540-48224-6

Copyright-Jahr: 2001

DOI
https://doi.org/10.1007/3-540-48224-5_79

Premium Partner

    Bildnachweise