Journal: Theory Comput. Syst.

Volume 47, Issue 2

301 -- 316Remco Loos, Mitsunori Ogihara. Time and Space Complexity for Splicing Systems
317 -- 341Harry Buhrman, Benjamin J. Hescott, Steven Homer, Leen Torenvliet. Non-Uniform Reductions
342 -- 367Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanith. New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem
368 -- 404Bilel Derbel, Mohamed Mosbah, Akka Zemmari. Sublinear Fully Distributed Partition with Applications
405 -- 432Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien. Computing Nash Equilibria for Scheduling on Restricted Parallel Links
433 -- 453Pierre Leone, Sotiris E. Nikoletseas, José D. P. Rolim. Stochastic Models and Adaptive Algorithms for Energy Balance in Sensor Networks
454 -- 490Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor, Heribert Vollmer. The Complexity of Problems for Quantified Constraints
491 -- 506Nicola Galesi, Massimo Lauria. On the Automatizability of Polynomial Calculus
507 -- 530Vittorio Bilò, Angelo Fanelli, Michele Flammini, Giovanna Melideo, Luca Moscardelli. Designing Fast Converging Cost Sharing Methods for Multicast Transmissions
531 -- 567Bruno Courcelle, Andrew Twigg. Constrained-Path Labellings on Graphs of Bounded Clique-Width
568 -- 592Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas. Automatic Presentations and Semigroup Constructions
593 -- 609Beate Bollig, Niko Range, Ingo Wegener. Exact OBDD Bounds for Some Fundamental Functions