The following pages link to (Q5649409):
Displaying 24 items.
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- On graph reasoning (Q731892) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Results on the propositional \(\mu\)-calculus (Q801893) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- On infinite computations in denotational semantics (Q1051414) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Un modello di \(\lambda\)-calcolo fortemente equivalente agli schemi ricorsivi (Q1213299) (← links)
- Completeness results for the equivalence of recursive schemas (Q1232171) (← links)
- Least fixed points revisited (Q1234588) (← links)
- Finiteness is mu-ineffable (Q1236111) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
