Journal: Theory Comput. Syst.

Volume 60, Issue 3

377 -- 0. Editor's Note
378 -- 395Dmitry Gavinsky, Pavel Pudlák. Partition Expanders
396 -- 420Mathieu Hoyrup. Genericity of Weakly Computable Objects
421 -- 437Benoit Monin. Higher Randomness and Forcing with Closed Sets
438 -- 472Georg Zetzsche, Dietrich Kuske, Markus Lohrey. On Boolean Closed Full Trios and Rational Kripke Frames
473 -- 497Francine Blanchet-Sadri, Michelle Bodnar, Benjamin De Winkle. New Bounds and Extended Relations Between Prefix Arrays, Border Arrays, Undirected Graphs, and Indeterminate Strings
498 -- 520Timo Kötzing. A Solution to Wiehagen's Thesis
521 -- 551Matthew Anderson, Anuj Dawar. On Symmetric Circuits and Fixed-Point Logics
552 -- 579Adeline Pierrot, Dominique Rossin. 2-Stack Sorting is Polynomial