The following pages link to (Q4138103):
Displaying 6 items.
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Relative complexity of algebras (Q3928239) (← links)
