Pages that link to "Item:Q1168723"
From MaRDI portal
The following pages link to Programs as partial graphs. I: Flow equivalence and correctness (Q1168723):
Displaying 17 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Partiality. I: Embedding relation algebras (Q817586) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Programs as partial graphs. II: Recursion (Q1168724) (← links)
- Discrete ordering relations (Q1171581) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Relational computation of sets of relations (Q2695345) (← links)
