Journal: Theory Comput. Syst.

Volume 55, Issue 4

637 -- 639Christoph Dürr, Thomas Wilke. Preface of STACS 2012 Special Issue
640 -- 657Marcin Mucha. 13/9 -Approximation for Graphic TSP
658 -- 684Benjamin Doerr, Carola Winzen. Playing Mastermind with Constant-Size Memory
685 -- 718Artur Jez. The Complexity of Compressed Membership Problems for Finite Automata
719 -- 741Timothy M. Chan, Stephane Durocher, Kasper Green Larsen, Jason Morrison, Bryan T. Wilkinson. Linear-Space Data Structures for Range Mode Query in Arrays
742 -- 770Jürn Laun. Efficient Algorithms for Highly Compressed Data: The Word Problem in Generalized Higman Groups Is in P
771 -- 832Christopher H. Broadbent. On First-Order Logic and CPDA Graphs
833 -- 855André Arnold, Henryk Michalewski, Damian Niwinski. On the Separation Question for Tree Languages
856 -- 880Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa. Model-Theoretic Properties of ω-Automatic Structures