Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
From MaRDI portal
Publication:3634006
DOI10.3233/FI-2009-0050zbMATH Open1176.68083MaRDI QIDQ3634006
Publication date: 23 June 2009
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Descriptive complexity and finite models (68Q19)
Related Items (2)
Title not available (Why is that?) ⋮ Program schemes, arrays, Lindström quantifiers and zero-one laws
This page was built for publication: Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3634006)