The following pages link to Database Theory - ICDT 2005 (Q5316588):
Displayed 5 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Deciding the isomorphism problem in classes of unary automatic structures (Q2430013) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Analysing Complexity in Classes of Unary Automatic Structures (Q3618610) (← links)