Skip to main content

Theory of Computing Systems

Ausgabe 4/2013

Inhalt (9 Artikel)

Motion Planning with Pulley, Rope, and Baskets

Christian E. J. Eggermont, Gerhard J. Woeginger

Compact DSOP and Partial DSOP Forms

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli

A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments

Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh

Sofic Tree-Shifts

Nathalie Aubrun, Marie-Pierre Béal

A Process Calculus with Finitary Comprehended Terms

J. A. Bergstra, C. A. Middelburg

Log-Space Algorithms for Paths and Matchings in k-Trees

Bireswar Das, Samir Datta, Prajakta Nimbhorkar

Corrigendum. The Linear Arrangement Problem Parameterized Above Guaranteed Value

Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo

Premium Partner