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:
A Dynamic Programming Approach to Categorial Deduction Kapitel lesen Erstes Kapitel lesen

1999 | OriginalPaper | Buchkapitel

Complexity of the Higher Order Matching

verfasst von : ToMasz Wierzbicki

Erschienen in: Automated Deduction — CADE-16

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 use the standard encoding of Boolean values in simply typed lambda calculus to develop a method of translating SAT problems for various logics into higher order matching. We obtain this way already known NP-hardness bounds for the order two and three and a new result that the fourth order matching is NEXPTIME-hard

Vorheriges Kapitel Solvability of Context Equations with Two Context Variables Is Decidable
Nächstes Kapitel Solving Equational Problems Efficiently
Metadaten
Titel
Complexity of the Higher Order Matching
verfasst von
ToMasz Wierzbicki
Copyright-Jahr
1999
Verlag
Springer Berlin Heidelberg
Buch
Automated Deduction — CADE-16

Print ISBN: 978-3-540-66222-8

Electronic ISBN: 978-3-540-48660-2

Copyright-Jahr: 1999

DOI
https://doi.org/10.1007/3-540-48660-7_6

Neuer Inhalt

    Bildnachweise