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

Ausgabe 3/2017

Extended versions of papers presented at LOPSTR 2015

Inhalt (9 Artikel)

Editorial

Editorial

Moreno Falaschi, Augusto Sampaio

Original Article

Proof checking and logic programming

Dale Miller

Original Article

On dual programs in co-logic programming and the Horn -calculus

Hirohisa Seki

Original Article

Equational formulas and pattern operations in initial order-sorted algebras

José Meseguer, Stephen Skeirik

Open Access Original Article

Operational semantics of resolution and productivity in Horn clause logic

Peng Fu, Ekaterina Komendantskaya

Original Article

Transforming Boolean equalities into constraints

Sergio Antoy, Michael Hanus

Original Article

Assumption propagation through annotated programs

Dipak L. Chaudhari, Om Damani

Original Article

A program analysis framework for tccp based on abstract interpretation

Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva

Original Article

Optimizing sorting algorithms by using sorting networks

Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp

Mär 17
Ausgabe: 2/2017
INDIVIDUAL CONTRIBUTIONS
Jul 17
Ausgabe: 4/2017
Extended versions of papers presented at SETTA 2015

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr