Database Theory - ICDT 2005
From MaRDI portal
Publication:5316588
DOI10.1007/b104421zbMath1112.68398MaRDI 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
Related Items
Model checking Petri nets with names using data-centric dynamic systems, Model-theoretic complexity of automatic structures, Deciding the isomorphism problem in classes of unary automatic structures, Model Theoretic Complexity of Automatic Structures (Extended Abstract), Analysing Complexity in Classes of Unary Automatic Structures