scientific article; zbMATH DE number 4183390
From MaRDI portal
Publication:5749280
zbMath0718.03017MaRDI QIDQ5749280
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
