Pages that link to "Item:Q862561"
From MaRDI portal
The following pages link to XML schema, tree logic and sheaves automata (Q862561):
Displaying 9 items.
- Schemas for unordered XML on a DIME (Q905687) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- The DSD schema language (Q1857291) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER (Q3016220) (← links)
- Tree Automata for Non-linear Arithmetic (Q3522025) (← links)
- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order (Q3646258) (← links)
- A Rude Contract Language for Web Services (Q5262959) (← links)
- Database Theory - ICDT 2005 (Q5316616) (← links)