Journal: Theory Comput. Syst.

Volume 51, Issue 3

267 -- 269Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo. Programs, Proofs, Processes
270 -- 281Guillaume Blin, Romeo Rizzi, Stéphane Vialette. A Faster Algorithm for Finding Minimum Tucker Submatrices
282 -- 296Eric Allender, Holger Spakowski. Avoiding Simplicity is Complex
297 -- 312Rahul Santhanam. The Complexity of Explicit Constructions
313 -- 329Ulrich Berger, Monika Seisenberger. Proofs, Programs, Processes
330 -- 351Laurent Bienvenu, Frank Stephan, Jason Teutsch. How Powerful Are Integer-Valued Martingales?
352 -- 371Douglas Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman. Computability of Countable Subshifts in One Dimension
372 -- 400Jack H. Lutz, Brad Shutters. Approximate Self-Assembly of the Sierpinski Triangle