scientific article
From MaRDI portal
Publication:3971264
zbMath0744.68053MaRDI QIDQ3971264
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete, On the computational cost of disjunctive logic programming: Propositional case, Complexity of unique list colorability
