Database Theory - ICDT 2005
From MaRDI portal
Publication:5316588
DOI10.1007/b104421zbMath1112.68398OpenAlexW4232873349MaRDI QIDQ5316588
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b104421
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Model checking Petri nets with names using data-centric dynamic systems ⋮ Model Theoretic Complexity of Automatic Structures (Extended Abstract) ⋮ Deciding the isomorphism problem in classes of unary automatic structures ⋮ Model-theoretic complexity of automatic structures ⋮ Analysing Complexity in Classes of Unary Automatic Structures