Pages that link to "Item:Q1371311"
From MaRDI portal
The following pages link to An equational axiomatization of dynamic negation and relational composition (Q1371311):
Displayed 7 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)
- Free Kleene algebras with domain (Q2210872) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)