Skip to main content

Theory of Computing Systems

Ausgabe 3/2010

Special Title: Symposium on Theoretical Aspects of Computer Science; Guest Editors: Susanne Albers, Pascal Weil

Inhalt (10 Artikel)

STACS 2008 Foreword

Susanne Albers, Pascal Weil

Open Access

Trimming of Graphs, with Application to Point Labeling

Thomas Erlebach, Torben Hagerup, Klaus Jansen, Moritz Minzlaff, Alexander Wolff

Trimmed Moebius Inversion and Graphs of Bounded Degree

Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto

Connecting Polygonizations via Stretches and Twangs

Mirela Damian, Robin Flatland, Joseph O’Rourke, Suneeta Ramaswami

Model Checking Games for the Quantitative μ-Calculus

Diana Fischer, Erich Grädel, Łukasz Kaiser

Limit Complexities Revisited

Laurent Bienvenu, Andrej Muchnik, Alexander Shen, Nikolay Vereshchagin

Lexicographic Decomposition of k-Valued Transducers

Jacques Sakarovitch, Rodrigo de Souza