On the generator problem

DOI10.1002/MALQ.19900360105MaRDI QIDQ3824297zbMATH OpenOpenAlexFDO

Authors Wiesław Szwast

Publication date 1990

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.19900360105

zbMATH Keywords

computational complexityfirst-order spectrumgenerator-hard problemsHorn spectrumoraclerelativization

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• On Horn spectra
• scientific article; zbMATH DE number 3916240
• Fifty years of the spectrum problem: survey and new results
• The Spectra of First-Order Sentences and Computational Complexity
• On generating all solutions of generalized satisfiability problems

Cited in

(6)

• On a necessary condition for a generator
• On the linear complexity profile of the power generator
• Tracking a Generator by Persistence
• scientific article; zbMATH DE number 3916240 (Why is no real title available?)
• scientific article; zbMATH DE number 4042633 (Why is no real title available?)
• On Horn spectra

This page was built for publication: On the generator problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3824297)