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
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Annals of Mathematics and Artificial Intelligence
Metadaten
Titel
Functions-as-constructors higher-order unification: extended pattern unification
verfasst von
Tomer Libal
Dale Miller
Publikationsdatum
30.09.2021
Verlag
Springer International Publishing
Erschienen in
Annals of Mathematics and Artificial Intelligence / Ausgabe 5/2022
Print ISSN: 1012-2443
Elektronische ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-021-09774-y

Weitere Artikel der Ausgabe 5/2022

Annals of Mathematics and Artificial Intelligence 5/2022 Zur Ausgabe

OriginalPaper

Order-sorted equational generalization algorithm revisited

S704: Unification - UNIF 2020

About the unification type of

EditorialNotes

Preface

OriginalPaper

The undecidability of proof search when equality is a logical connective

Premium Partner

    Bildnachweise