The following pages link to Hans Zierer (Q582126):
Displaying 8 items.
- Symmetric quotients and domain constructions (Q582127) (← links)
- (Q1079009) (redirect page) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Towards an algebraic specification of code generation (Q1121033) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Describing semantic domains with sprouts (Q1823713) (← links)
- (Q3753467) (← links)
- (Q3815518) (← links)
