scientific article
From MaRDI portal
Publication:3741056
zbMath0604.68053MaRDI QIDQ3741056
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semantics of nondeterminismdeterministic and alternating computationssatisfiability problem of Boolean Horn formulasVH-system
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Combinatorial aspects of tessellation and tiling problems (05B45)
Related Items (2)
This page was built for publication:
