Pages that link to "Item:Q2272223"
From MaRDI portal
The following pages link to Axiomatizing the logical core of XPath 2.0 (Q2272223):
Displaying 8 items.
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- (Q5155666) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
