Journal: Theory Comput. Syst.

Volume 60, Issue 2

129 -- 171Joost Engelfriet, Zoltán Fülöp 0001, Andreas Maletti. Composition Closure of Linear Extended Top-down Tree Transducers
172 -- 193Marcus Schaefer, Daniel Stefankovic. Fixed Points, Nash Equilibria, and the Existential Theory of the Reals
194 -- 221Niloofar Fazlollahi, David Starobinski. Distance Vector-based Advance Reservation with Delay Performance Guarantees
222 -- 252Anja Rey, Jörg Rothe, Adrian Marple. Path-Disruption Games: Bribery and a Probabilistic Model
253 -- 279Laurent Bulteau, Stefan Fafianie, Vincent Froese, Rolf Niedermeier, Nimrod Talmon. The Complexity of Finding Effectors
280 -- 298Luis Filipe Coelho Antunes, Bruno Bauwens, André Souto, Andreia Teixeira. Sophistication vs Logical Depth
299 -- 313Siddharth Bhaskar. A Difference in Complexity Between Recursion and Tail Recursion
314 -- 323Bruno Bauwens. Conditional Measure and the Violation of Van Lambalgen's Theorem for Martin-Löf Randomness
324 -- 345Louay Bazzi, Nagi Nahas. Small-Bias is Not Enough to Hit Read-Once CNF
346 -- 376Frank Gurski. The Behavior of Clique-Width under Graph Operations and Graph Transformations