Pages that link to "Item:Q4286527"
From MaRDI portal
The following pages link to Demonic operators and monotype factors (Q4286527):
Displayed 22 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Algebraic separation logic (Q549676) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Relational state transition dynamics (Q929970) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- An algebra of database preferences (Q2347915) (← links)
- Kernels, in a nutshell (Q2374308) (← links)
- Components and acyclicity of graphs. An exercise in combining precision with concision (Q2667191) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)