scientific article; zbMATH DE number 2079026

MaRDI QIDQ4474838zbMATH OpenFDO

Authors Arnaud Durand, Solomampionona Ranaivoson

Publication date 21 July 2004

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• First-order spectra with one binary predicate
• scientific article; zbMATH DE number 1223621
• The Spectra of First-Order Sentences and Computational Complexity
• scientific article; zbMATH DE number 69385
• First-order spectra with one variable

Cited in

(11)

• First-order spectra with one binary predicate
• One unary function says less than two in existential second order logic
• scientific article; zbMATH DE number 4019038 (Why is no real title available?)
• The Spectra of First-Order Sentences and Computational Complexity
• scientific article; zbMATH DE number 69385 (Why is no real title available?)
• scientific article; zbMATH DE number 1223621 (Why is no real title available?)
• Bounded degree and planar spectra
• A note on first-order spectra with binary relations
• scientific article; zbMATH DE number 2113458 (Why is no real title available?)
• Axiomatizing rectangular grids with no extra non-unary relations
• First-order spectra with one variable

This page was built for publication:

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