MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Alternating Fixpoint of Logic Programs with Negation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

The Alternating Fixpoint of Logic Programs with Negation
by Allen Van Gelder — 1995
…Abstract The Alternating Fixpoint of Logic Programs with Negation Allen Van Gelder Baskin Computer…
Cited by 177 (2 self) – Add To MetaCart

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
by Jürgen Dix, Ross A. Overbeek, Proceedings Of The North — 1994
… programming language. JACM, 23:733--742, 1976. [vG89] Allen van Gelder. The Alternating Fixpoint of Logic…
Cited by 71 (13 self) – Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
….C., 1986. [VG89] A. Van Gelder: The alternating fixpoint of logic programs with negation…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB