default search action

combined dblp search
author search
venue search
publication search

ask others

Theory of Computing Systems, Volume 43

> Home > Journals > Theory of Computing Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 43, Number 1, July 2008

- view
  authority control:
- export record
  dblp key:
  - journals/mst/ErlebachP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ErlebachP08
Thomas Erlebach, Giuseppe Persiano:
WAOA 2005 Special Issue of TOCS. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Bar-YehudaFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Bar-YehudaFR08
Reuven Bar-Yehuda, Ido Feldman, Dror Rawitz:
Improved Approximation Algorithm for Convex Recoloring of Trees. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BlaserR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BlaserR08
Markus Bläser, L. Shankar Ram:
Approximately Fair Cost Allocation in Metric Traveling Salesman Games. 19-37
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HanIZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HanIZ08
Xin Han, Kazuo Iwama, Guochuan Zhang:
Online Removable Square Packing. 38-55
- view
  authority control:
- export record
  dblp key:
  - journals/mst/KochSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/KochSS08
Ronald Koch, Martin Skutella, Ines Spenke:
Maximum k -Splittable s , t -Flows. 56-66
- view
  authority control:
- export record
  dblp key:
  - journals/mst/PruhsSU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/PruhsSU08
Kirk Pruhs, Rob van Stee, Patchrawat Uthaisombut:
Speed Scaling of Tasks with Precedence Constraints. 67-80
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ShachnaiTY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ShachnaiTY08
Hadas Shachnai, Tami Tamir, Omer Yehezkely:
Approximation Schemes for Packing with Item Fragmentation. 81-98

Volume 43, Number 2, August 2008

- view
  authority control:
- export record
  dblp key:
  - journals/mst/ArtemovDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ArtemovDG08
Sergei N. Artëmov, Volker Diekert, Dima Grigoriev:
Foreword. 99
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ArvindD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ArvindD08
Vikraman Arvind, Bireswar Das:
SZK Proofs for Black-Box Group Problems. 100-117
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Beyersdorff08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Beyersdorff08
Olaf Beyersdorff:
Tuples of Disjoint NP-Sets. 118-135
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BodirskyK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BodirskyK08
Manuel Bodirsky, Jan Kára:
The Complexity of Equality Constraint Languages. 136-158
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GalKM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GalKM08
Anna Gál, Michal Koucký, Pierre McKenzie:
Incremental Branching Programs. 159-184
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Goris08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Goris08
Evan Goris:
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic. 185-203
- view
  authority control:
- export record
  dblp key:
  - journals/mst/KhachiyanBBEGRZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/KhachiyanBBEGRZ08
Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich, Gábor Rudolf, Jihui Zhao:
On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction. 204-233
- view
  authority control:
- export record
  dblp key:
  - journals/mst/MolleRR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/MolleRR08
Daniel Mölle, Stefan Richter, Peter Rossmanith:
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover. 234-253
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Rybakov08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Rybakov08
Vladimir V. Rybakov:
Branching Time Logics BTL^{U, S}_{N, N^-1}(Z)_a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. 254-271
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Yavorskaya08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Yavorskaya08
Tatiana Yavorskaya:
Interacting Explicit Evidence Systems. 272-293

Volume 43, Numbers 3-4, December 2008

- view
  authority control:
- export record
  dblp key:
  - journals/mst/BeckmannL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BeckmannL08
Arnold Beckmann, Benedikt Löwe:
Computability in Europe 2006. 295-297
- view
  authority control:
- export record
  dblp key:
  - journals/mst/RaufBS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/RaufBS08
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer:
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. 298-321
- view
  authority control:
- export record
  dblp key:
  - journals/mst/AbrahamGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/AbrahamGS08
Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors. 322-361
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BackhouseD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BackhouseD08
Roland Carl Backhouse, Henk Doornbos:
Datatype-Generic Termination Proofs. 362-393
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BergerH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BergerH08
Ulrich Berger, Tie Hou:
Coinduction for Exact Real Number Computation. 394-409
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mst/BergstraT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BergstraT08
Jan A. Bergstra, John V. Tucker:
Division Safe Calculation in Totalised Fields. 410-424
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Doty08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Doty08
David Doty:
Dimension Extractors and Optimal Decompression. 425-463
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Gassner08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Gassner08
Christine Gaßner:
A Hierarchy below the Halting Problem for Additive Machines. 464-470
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HitchcockLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HitchcockLM08
John M. Hitchcock, María López-Valdés, Elvira Mayordomo:
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. 471-497
- view
  authority control:
- export record
  dblp key:
  - journals/mst/KorovinaV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/KorovinaV08
Margarita V. Korovina, Nicolai N. Vorobjov Jr.:
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. 498-515
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Kristiansen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Kristiansen08
Lars Kristiansen:
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's T. 516-541
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Makowsky08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Makowsky08
Johann A. Makowsky:
From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials. 542-562
- view
  authority control:
- export record
  dblp key:
  - journals/mst/PonseZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/PonseZ08
Alban Ponse, Mark van der Zwaag:
Risk Assessment for One-Counter Threads. 563-582
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Schwichtenberg08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Schwichtenberg08
Helmut Schwichtenberg:
Realizability interpretation of proofs in constructive analysis. 583-602
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Zheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Zheng08
Xizhong Zheng:
Classification of Computably Approximable Real Numbers. 603-624

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.