The following pages link to (Q3851612):
Displayed 9 items.
- On P-dominions of continuous algebras (Q1076704) (← links)
- On context-free trees (Q1082826) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Hierarchical development of programming languages (Q1161053) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Generalized filter models (Q1575259) (← links)
- The algebra of stream processing functions (Q5941194) (← links)