Pages that link to "Item:Q2945725"
From MaRDI portal
The following pages link to Satisfiability of Constraint Specifications on XML Documents (Q2945725):
Displaying 7 items.
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- XML schema language specifications for conditional knowledge (Q2804592) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints (Q3056917) (← links)
- Numerical Constraints for XML (Q3612663) (← links)
- On the Complexity of Verifying Consistency of XML Specifications (Q3631894) (← links)
- (Q4442832) (← links)