The following pages link to Database Theory - ICDT 2005 (Q5316588):
Displaying 8 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Model-checking based data retrieval. An application to semistructured and temporal data. (Q1880661) (← links)
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- On the Automated Verification of Web Applications with Embedded SQL (Q3174909) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)
- (Q4790640) (← links)