Pages that link to "Item:Q1168724"
From MaRDI portal
The following pages link to Programs as partial graphs. II: Recursion (Q1168724):
Displaying 6 items.
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Partiality. I: Embedding relation algebras (Q817586) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
