Axiomatising Tree-Interpretable Structures Achim Blumensath OriginalPaper 12 November 2003 Pages: 3 - 27
Games with Uniqueness Properties Shin AidaMarcel CrasmaruOsamu Watanabe OriginalPaper 19 November 2003 Pages: 29 - 47
Labeling Schemes for Dynamic Tree Networks Amos KormanDavid PelegYoav Rodeh OriginalPaper 12 November 2003 Pages: 49 - 75
How Many Missing Answers Can Be Tolerated by Query Learners? Hans Ulrich Simon OriginalPaper 12 November 2003 Pages: 77 - 94
Comparing Verboseness for Finite Automata and Turing Machines Till Tantau OriginalPaper 14 November 2003 Pages: 95 - 109
Nesting Until and Since in Linear Temporal Logic Denis ThérienThomas Wilke OriginalPaper 12 November 2003 Pages: 111 - 131
Existential and Positive Theories of Equations in Graph Products Volker DiekertMarkus Lohrey OriginalPaper 12 November 2003 Pages: 133 - 156
Generalized Model-Checking over Locally Tree-Decomposable Classes Markus Frick OriginalPaper 14 November 2003 Pages: 157 - 191
Learnability and Definability in Trees and Similar Structures Martin GroheGy. Turán OriginalPaper 14 November 2003 Pages: 193 - 220