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, Fifty years of the spectrum problem: survey and new results, 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