scientific article; zbMATH DE number 1424048

zbMATH Open0942.03043MaRDI QIDQ4945239FDOQ4945239

Iain Stewart

Publication date: 23 March 2000

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

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)

Cited In (3)

• Programs over semigroups of dot-depth one
• Program schemes, arrays, Lindström quantifiers and zero-one laws
• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Program schemes, arrays, Lindström quantifiers and zero-one laws 👍 👎
• Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays 👍 👎
• Hierarchies in classes of program schemes 👍 👎
• Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws 👍 👎

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)