scientific article
zbMath0444.03018MaRDI QIDQ3887443
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nondeterminismalternationpushdown automatapushdown storescomputational complexity of logical theoriessatisfiability problem in Ackermann's fragment of predicate calculussatisfiability problem in propositional logicvalidity problem in real addition
Analysis of algorithms and problem complexity (68Q25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)
Related Items