Pages that link to "Item:Q1371311"
From MaRDI portal
The following pages link to An equational axiomatization of dynamic negation and relational composition (Q1371311):
Displaying 13 items.
- Axiomatizability of representable domain algebras (Q624383) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Dynamic negation, the one and only (Q1288172) (← links)
- Dynamic relation logic is the logic of DPL-relations (Q1371314) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)