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

Author:

Lüdecke, Rainer

Tübinger Autor(en):

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:

Note:

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

This item appears in the following Collection(s)