scientific article; zbMATH DE number 3566140

zbMath0363.68035MaRDI QIDQ4138103

James W. Thatcher, Rod M. Burstall

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (6)

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

This page was built for publication: