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
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Formal Aspects of Computing
Metadaten
Titel
Operational semantics of resolution and productivity in Horn clause logic
verfasst von
Peng Fu
Ekaterina Komendantskaya
Publikationsdatum
25.11.2016
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 3/2017
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-016-0403-1

Weitere Artikel der Ausgabe 3/2017

Formal Aspects of Computing 3/2017 Zur Ausgabe

Original Article

A program analysis framework for tccp based on abstract interpretation

Editorial

Editorial

Original Article

Transforming Boolean equalities into constraints

Original Article

Equational formulas and pattern operations in initial order-sorted algebras

Original Article

Proof checking and logic programming

Original Article

Optimizing sorting algorithms by using sorting networks