Some Remarks on Generalized Spectra
From MaRDI portal
Publication:4182723
DOI10.1002/malq.19770233608zbMath0398.03025MaRDI QIDQ4182723
Publication date: 1977
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19770233608
03D15: Complexity of computation (including implicit computational complexity)
Related Items
On completeness for NP via projection translations, On spectra of sentences of monadic second order logic with counting, Methods for proving completeness via logical reductions, A restricted second order logic for finite structures, Succinct representation, leaf languages, and projection reductions, Parameterized Complexity Classes under Logical Reductions, Universal quantifiers and time complexity of random access machines