- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 81 - 94
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2010
- Urheber
-
Herre, Heinrich
Hummel, Axel
- Beteiligte Personen und Organisationen
-
Gesellschaft für Logische Programmierung e.V.
- URN
-
urn:nbn:de:kobv:517-opus-41496
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Herre, Heinrich
- Hummel, Axel
- Gesellschaft für Logische Programmierung e.V.
- Universität Potsdam
Entstanden
- 2010
Ähnliche Objekte (12)
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs
Flexible computation of the well-founded semantics of normal logic programs
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs
Flexible computation of the well-founded semantics of normal logic programs
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs