Skip to main content


Theory of Computing Systems

Theory of Computing Systems 2/2017

Issue 2/2017

Table of Contents ( 10 Articles )

29-12-2015 | Issue 2/2017

Composition Closure of Linear Extended Top-down Tree Transducers

Joost Engelfriet, Zoltán Fülöp, Andreas Maletti

04-11-2015 | Issue 2/2017

Fixed Points, Nash Equilibria, and the Existential Theory of the Reals

Marcus Schaefer, Daniel Štefankovič

18-11-2015 | Issue 2/2017

Distance Vector-based Advance Reservation with Delay Performance Guarantees

Niloofar Fazlollahi, David Starobinski

11-04-2016 | Issue 2/2017

Path-Disruption Games: Bribery and a Probabilistic Model

Anja Rey, Jörg Rothe, Adrian Marple

17-03-2016 | Issue 2/2017

The Complexity of Finding Effectors

Laurent Bulteau, Stefan Fafianie, Vincent Froese, Rolf Niedermeier, Nimrod Talmon

19-03-2016 | Issue 2/2017

Sophistication vs Logical Depth

Luís Antunes, Bruno Bauwens, André Souto, Andreia Teixeira

19-03-2016 | Issue 2/2017

A Difference in Complexity Between Recursion and Tail Recursion

Siddharth Bhaskar

14-04-2016 | Issue 2/2017

Conditional Measure and the Violation of Van Lambalgen’s Theorem for Martin-Löf Randomness

Bruno Bauwens

07-05-2016 | Issue 2/2017

Small-Bias is Not Enough to Hit Read-Once CNF

Louay Bazzi, Nagi Nahas

23-05-2016 | Issue 2/2017

The Behavior of Clique-Width under Graph Operations and Graph Transformations

Frank Gurski

Current Publications

Premium Partner

    Image Credits