scientific article; zbMATH DE number 4019038

zbMATH Open0627.03022MaRDI QIDQ3030809FDOQ3030809

Authors: Etienne Grandjean 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

graph propertiessuccessor structurefinite spectraNondeterministic Random Access Machineprenex first-order sentence of unary type

Mathematics Subject Classification ID

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

Cited In (4)

• First-order spectra with one variable
• Axiomatizing rectangular grids with no extra non-unary relations
• First-order spectra with one binary predicate
• Universal quantifiers and time complexity of random access machines

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 Q3030809)