The following pages link to (Q4176939):
Displayed 13 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Partial abstract types (Q1169290) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- (Q3662598) (← links)