scientific article; zbMATH DE number 1418348
From MaRDI portal
Publication:4941911
zbMath0943.03018MaRDI QIDQ4941911
Publication date: 5 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20)
This page was built for publication:
