scientific article; zbMATH DE number 4143960

MaRDI QIDQ3475259zbMATH OpenFDO

Authors Andrei S. Morozov

Publication date 1988

zbMATH Keywords

algebraic specificationcharacterization of algebraic processes via enumerable modelseffective processes

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4170880
• scientific article; zbMATH DE number 48630
• Algebraic theory of probabilistic and nondeterministic processes.
• scientific article; zbMATH DE number 3894457
• Algebraic theory of probabilistic processes.
• scientific article; zbMATH DE number 1484272
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 1862467
• An algebraic theory of Markov processes
• scientific article; zbMATH DE number 3926231

Cited in

(1)

• Enumerated algebras with uniformly recursive-separable classes

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