scientific article; zbMATH DE number 1424048

MaRDI QIDQ4945239zbMATH OpenFDO

Authors Iain Stewart

Publication date 23 March 2000

zbMATH Keywords

first-order logicinfinitary logicLindström quantifiersprogram schemes with arrayszero-one law

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) 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

(7)

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

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)