![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theory of Computing Systems, Volume 41
Volume 41, Number 1, July 2007
- S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas:
Theory of Computation at CiE 2005. 1-2 - Jan A. Bergstra, Cornelis A. Middelburg
:
A Thread Algebra with Multi-Level Strategic Interleaving. 3-32 - Pieter Collins:
Optimal Semicomputable Approximations to Reachable and Invariant Sets. 33-48 - Amin Farjudian
:
Shrad: A Language for Sequential Real Number Computation. 49-105 - Klaus Meer:
Some Relations between Approximation Problems and PCPs over the Real Numbers. 107-118 - Peter Bro Miltersen:
The Computational Complexity of One-Dimensional Sandpiles. 119-125 - Milad Niqui:
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. 127-154 - Ning Zhong:
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation. 155-175 - Martin Ziegler:
Real Hypercomputation and Continuity. 177-206
Volume 41, Number 2, August 2007
- Maciej Liskiewicz, Rüdiger Reischuk:
Preface. 209-210 - Matthias P. Krieger:
On the Incompressibility of Monotone DNFs. 211-231 - Tomasz Jurdzinski
, Krzysztof Lorys:
Leftist Grammars and the Chomsky Hierarchy. 233-256 - Daniel Meister:
Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers. 257-289 - Holger Spakowski, Rahul Tripathi:
On the Power of Unambiguity in Alternating Machines. 291-326 - Till Tantau:
Logspace Optimization Problems and Their Approximability Properties. 327-350 - Birgit Schelm:
Average-Case Non-Approximability of Optimisation Problems. 351-368 - Michael Brinkmeier:
A Simple and Fast Min-Cut Algorithm. 369-380 - Fedor V. Fomin
, Pinar Heggernes
, Dieter Kratsch:
Exact Algorithms for Graph Homomorphisms. 381-393
Volume 41, Number 3, October 2007
- Rod Downey:
Foreword. 397 - Faisal N. Abu-Khzam:
Pseudo-Kernelization: A Branch-then-Reduce Approach for FPT Problems. 399-410 - Faisal N. Abu-Khzam, Michael R. Fellows
, Michael A. Langston, W. Henry Suters:
Crown Structures for Vertex Cover Kernelization. 411-430 - Hans-Joachim Böckenhauer
, Juraj Hromkovic, Joachim Kneis, Joachim Kupke:
The Parameterized Approximability of TSP with Deadlines. 431-444 - Jonathan F. Buss, Tarique Islam:
Algorithms in the W-Hierarchy. 445-457 - Liming Cai, Michael R. Fellows
, David W. Juedes
, Frances A. Rosamond
:
The Complexity of Polynomial-Time Approximation. 459-477 - Frank K. H. A. Dehne, Michael R. Fellows
, Michael A. Langston, Frances A. Rosamond
, Kim Stevens:
An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem. 479-492 - Bernhard Fuchs, Walter Kern, Daniel Mölle, Stefan Richter, Peter Rossmanith, Xinhui Wang:
Dynamic Programming for Minimum Steiner Trees. 493-500 - Jiong Guo, Rolf Niedermeier, Sebastian Wernicke:
Parameterized Complexity of Vertex Cover Variants. 501-520 - Gregory Z. Gutin, Arash Rafiey, Stefan Szeider
, Anders Yeo:
The Linear Arrangement Problem Parameterized Above Guaranteed Value. 521-538 - Michael T. Hallett
, Catherine McCartin:
A Faster FPT Algorithm for the Maximum Agreement Forest Problem. 539-550 - Petr Hlinený
:
Some Hard Problems on Matroid Spikes. 551-562 - Venkatesh Raman, Saket Saurabh, Somnath Sikdar:
Efficient Exact Algorithms through Enumerating Maximal Independent Sets and Other Techniques. 563-587
Volume 41, Number 4, December 2007
- Kunihiko Sadakane
:
Compressed Suffix Trees with Full Functionality. 589-607 - F. Cedo, Ana Cortés
, Ana Ripoll
, Miquel A. Senar
, Emilio Luque
:
The Convergence of Realistic Distributed Load-Balancing Algorithms. 609-618 - Janis Voigtländer:
Formal Efficiency Analysis for Tree Transducer Composition. 619-689 - Michael Elkin, David Peleg:
The Hardness of Approximating Spanner Problems. 691-729 - Li Gao, Grzegorz Malewicz:
Toward Maximizing the Quality of Results of Dependent Tasks Computed Unreliably. 731-752 - Elmar Böhler, Henning Schnoor:
The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates. 753-777 - Sanjiv Kapoor, Mohammad Sarwat:
Bounded-Diameter Minimum-Cost Graph Problems. 779-794
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.