An extension of Van Gelder's alternating fixpoint to magic programs
From MaRDI portal
Publication:1924385
DOI10.1006/jcss.1996.0038zbMath0858.68007OpenAlexW2010904739MaRDI QIDQ1924385
Publication date: 26 November 1996
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1996.0038
Related Items (3)
On Signings and the Well-Founded Semantics ⋮ Enhancing global SLS-resolution with loop cutting and tabling mechanisms ⋮ The limits of fixed-order computation
This page was built for publication: An extension of Van Gelder's alternating fixpoint to magic programs
