The following pages link to (Q2763663):
Displaying 14 items.
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- (Q2844039) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Security Types for Dynamic Web Data (Q3608462) (← links)
