Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... characterizations of logic program properties -- Computing the well-founded semantics faster -- Loop checking...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Smodels — an implementation of the stable model and well-founded semantics for normal logic programs...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... graphs and non-well-founded sets -- Functions for the general solution of parametric word equations -- A...”
Cover Image
Read Now

5
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... functions -- A constructive proof that tree are well-quasi-ordered under minors (detailed abstract...”
Cover Image
Read Now

6
by Nerode, Anil, Shore, Richard A.
Published 1993
Springer New York
“... and compactness - as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand...”
Cover Image
Read Now

7
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
“... as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour...”