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

DSpace Repository

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

Author: Lüdecke, Rainer
Tübinger Autor(en):
Lüdecke, Rainer
Issue year: 2012
Series: Informatik
Edition: 1. Aufl.
Verlagsangabe: München : Hut
Language: English
ISBN: 978-3-8439-0627-2
Dokumentart: Dissertation
Pages: 184 S. : graph. Darst.
Reference: 371988748
Note: Zugl.: Tübingen, Univ., Diss., 2012.
Show full item record

This item appears in the following Collection(s)