Journal: Theory Comput. Syst.

Volume 53, Issue 4

507 -- 531Curtis Menton. Normalized Range Voting Broadly Resists Control
532 -- 568Yann Strozecki. On Enumerating Monomials and Other Combinatorial Structures by Polynomial Interpolation
569 -- 582Christian Eggermont, Gerhard J. Woeginger. Motion Planning with Pulley, Rope, and Baskets
583 -- 608Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli. Compact DSOP and Partial DSOP Forms
609 -- 620Pranabendu Misra, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh. A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments
621 -- 644Nathalie Aubrun, Marie-Pierre Béal. Sofic Tree-Shifts
645 -- 668Jan A. Bergstra, C. A. Middelburg. A Process Calculus with Finitary Comprehended Terms
669 -- 689Bireswar Das, Samir Datta, Prajakta Nimbhorkar. Log-Space Algorithms for Paths and Matchings in k-Trees
690 -- 691Gregory Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo. Corrigendum. The Linear Arrangement Problem Parameterized Above Guaranteed Value