Volume 47; Issue 2

Theory of Computing Systems

Volume 47; Issue 2
1

Time and Space Complexity for Splicing Systems

Remco Loos, Mitsunori Ogihara
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 425 KB
english, 2010
2

Non-Uniform Reductions

Harry Buhrman, Benjamin Hescott, Steven Homer, Leen Torenvliet
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 539 KB
english, 2010
4

Sublinear Fully Distributed Partition with Applications

Bilel Derbel, Mohamed Mosbah, Akka Zemmari
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 1.37 MB
english, 2010
5

Computing Nash Equilibria for Scheduling on

Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 639 KB
english, 2010
8

On the Automatizability of Polynomial Calculus

Nicola Galesi, Massimo Lauria
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 462 KB
english, 2010
10

Constrained-Path Labellings on Graphs of Bounded Clique-Width

Bruno Courcelle, Andrew Twigg
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 961 KB
english, 2010
11

Automatic Presentations and Semigroup Constructions

Alan J. Cain, Graham Oliver, Nik Ruškuc, Richard M. Thomas
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 617 KB
english, 2010
12

Exact OBDD Bounds for Some Fundamental Functions

Beate Bollig, Niko Range, Ingo Wegener
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 570 KB
english, 2010