Pages that link to "Item:Q5312995"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312995):
Displaying 10 items.
- Modes of adjointness (Q484110) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- Minimal Proof Search for Modal Logic K Model Checking (Q2915084) (← links)
- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras (Q3498409) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712433) (← links)