scientific article
From MaRDI portal
Publication:3348439
zbMath0726.68068MaRDI QIDQ3348439
E. A. Sonenberg, Rodney W. Topor
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Domain-independent formulas and databases ⋮ The expressive power of the bounded-iteration construct ⋮ Safe Formulas in the General Theory of Stable Models (Preliminary Report)
This page was built for publication:
