scientific article; zbMATH DE number 1424048

MaRDI QIDQ4945239zbMATH OpenFDO

Authors Iain Stewart

Publication date 23 March 2000

zbMATH Keywords

first-order logiczero-one lawinfinitary logicLindström quantifiersprogram schemes with arrays

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Recommendations

• Program schemes, arrays, Lindström quantifiers and zero-one laws
• Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
• scientific article; zbMATH DE number 1796951
• Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
• Hierarchies in classes of program schemes

Cited in

(6)

• An infinite hierarchy in a class of polynomial-time program schemes
• Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
• scientific article; zbMATH DE number 1796951 (Why is no real title available?)
• Program schemes, arrays, Lindström quantifiers and zero-one laws
• Programs over semigroups of dot-depth one
• Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays

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