scientific article; zbMATH DE number 3362974

MaRDI QIDQ5636309zbMATH OpenFDO

Authors Calvin C. Elgot

Publication date 1971

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Cited in

(5)

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Varieties of chain-complete algebras
• In memoriam Calvin C. Elgot
• Correctness of recursive parallel nondeterministic flow programs
• Deterministic and nondeterministic flowchart interpretations

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