scientific article; zbMATH DE number 749929

MaRDI QIDQ4764110zbMATH OpenFDO

Authors

Publication date 10 August 1995

zbMATH Keywords

uniform dimensionrecursive modelfinitely blocked modelsprogram dimensionrecursive isomorphism typesrelations between different types of algorithmic dimensions of models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• scientific article; zbMATH DE number 4145883
• Constructive models of regularly infinite algorithmic dimension
• Examples of nonautostable systems
• scientific article; zbMATH DE number 1302875

Cited in

(7)

• STABLE ALGORITHMS FOR THE STATE SPACE MODEL
• Recursive unary algebras and trees
• scientific article; zbMATH DE number 1302875 (Why is no real title available?)
• scientific article; zbMATH DE number 4145883 (Why is no real title available?)
• Deterministic and non-deterministic stable models
• scientific article; zbMATH DE number 1182786 (Why is no real title available?)
• Constructive models of regularly infinite algorithmic dimension

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