On Horn spectra
type: Item
instance of: scholarly article
title: On Horn spectra
zbMATH Open document ID: 0723.03023
DOI: 10.1016/0304-3975(91)90227-S
author: Wiesław Szwast
published in: Theoretical Computer Science
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 4191611
zbMATH Keywords: Turing machine
zbMATH Keywords: relativization
zbMATH Keywords: Horn spectrum
zbMATH Keywords: Horn sentence
zbMATH Keywords: Asser's problem
zbMATH Keywords: EXPTIME
zbMATH Keywords: NEXPTIME
zbMATH Keywords: generator problem
zbMATH Keywords: oracles
MaRDI profile type: Publication
cites work: Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
cites work: Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
cites work: Model theory.
cites work: On Languages Accepted in Polynomial Time
cites work: Q4058132
cites work: Horn sentences
cites work: Q5592246
cites work: Turing machines and the spectra of first-order formulas
cites work: Complexity classes and theories of finite models
cites work: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
cites work: Q3248054
cites work: Q4068695
full work available at URL: 0304-3975(91)90227-s
OpenAlex ID: W2042176675
description: scientific article; zbMATH DE number 4191611