Q4945239
type: Item
instance of: scholarly article
zbMATH Open document ID: 0942.03043
author: Iain Stewart
publication date: 2000-03-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q19
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 1424048
zbMATH Keywords: program schemes with arrays
zbMATH Keywords: first-order logic
zbMATH Keywords: Lindström quantifiers
zbMATH Keywords: zero-one law
zbMATH Keywords: infinitary logic
MaRDI profile type: MaRDI publication profile
Recommended article: Program schemes, arrays, Lindström quantifiers and zero-one laws
Recommended article: Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Recommended article: Q4551343
Recommended article: Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
Recommended article: Hierarchies in classes of program schemes
description: scientific article; zbMATH DE number 1424048