scientific article; zbMATH DE number 3378527
From MaRDI portal
Publication:5649409
Cited in
(24)- Dynamic algebras: Examples, constructions, applications
- On infinite computations in denotational semantics
- Programs as partial graphs. I: Flow equivalence and correctness
- Results on the propositional \(\mu\)-calculus
- Program development schemata as derived rules
- Generalised quantum weakest preconditions
- Parallel constructions of maximal path sets and applications to short superstrings
- Completeness results for the equivalence of recursive schemas
- Expressive power of typed and type-free programming languages
- A Bibliography of Willem-Paul de Roever
- Least fixed points revisited
- Relation algebraic domain constructions
- Relational algebraic semantics of deterministic and nondeterministic programs
- Alternating states for dual nondeterminism in imperative programming
- Finiteness is mu-ineffable
- Fixed-point extensions of first-order logic
- On graph reasoning
- Natural Quantum Operational Semantics with Predicates
- Application of modal logic to programming
- A relational division operator: The conjugate kernel
- Normal forms for binary relations
- Relation algebras: Concept of points and representability
- Embedding a demonic semilattice in a relation algebra
- Un modello di \(\lambda\)-calcolo fortemente equivalente agli schemi ricorsivi
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5649409)
