Infinite-valued least model and game semantics for formula-based and normal logic programs

Autor(en):

Lüdecke, Rainer

Tübinger Autor(en):

Erscheinungsjahr:

2012

Reihe:

Informatik

Ausgabe:

1. Aufl.

Verlagsangabe:

München : Hut

Sprache:

Englisch

ISBN:

978-3-8439-0627-2

Dokumentart:

Dissertation

Seitenzahl:

184 S. : graph. Darst.

Verbund-Nachweis:

Kommentar:

Zugl.: Tübingen, Univ., Diss., 2012.

Das Dokument erscheint in: