scientific article; zbMATH DE number 3566140

MaRDI QIDQ4138103zbMATH OpenFDO

Authors James W. Thatcher, Rod Burstall

Publication date 1975

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(7)

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Recursion-closed algebraic theories
• Relative complexity of algebras
• Rod Burstall: in memoriam (1934--2025)
• Algebraic characterization of reducible flowcharts
• Correctness of recursive parallel nondeterministic flow programs

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