Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theory of Computing Systems AND Volume=43
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Improved approximation algorithm for convex recoloring of trees
Reuven Bar-Yehuda
,
Ido Feldman
,
Dror Rawitz
Theory of Computing Systems
43
(1), 2008, pp. 3-18
Approximately fair cost allocation in metric Traveling Salesman games
M. Bläser
,
L. Shankar Ram
Theory of Computing Systems
43
(1), 2008, pp. 19-37
Online removable square packing
Xin Han
,
Kazuo Iwama
,
Guochuan Zhang
Theory of Computing Systems
43
(1), 2008, pp. 38-55
Maximum
k
-splittable
s, t
-flows
Ronald Koch
,
Martin Skutella
,
Ines Spenke
Theory of Computing Systems
43
(1), 2008, pp. 56-66
Speed scaling of tasks with precedence constraints
Kirk Pruhs
,
Rob van Stee
,
Patchrawat Uthaisombut
Theory of Computing Systems
43
(1), 2008, pp. 67-80
Approximation schemes for packing with item fragmentation
Hadas Shachnai
,
Tami Tamir
,
Omer Yehezkely
Theory of Computing Systems
43
(1), 2008, pp. 81-98
SZK proofs for black-box group problems
V. Arvind
,
Bireswar Das
Theory of Computing Systems
43
(2), 2008, pp. 100-117
Tuples of disjoint
NP
-sets
Olaf Beyersdorff
Theory of Computing Systems
43
(2), 2008, pp. 118-135
The complexity of equality constraint languages
Manuel Bodirsky
,
Jan Kára
Theory of Computing Systems
43
(2), 2008, pp. 136-158
Incremental branching programs
Anna Gál
,
Michal Koucký
,
Pierre McKenzie
Theory of Computing Systems
43
(2), 2008, pp. 159-184
Feasable operations on Proofs: The Logic of proofs for bounded arithmetic
Evan Goris
Theory of Computing Systems
43
(2), 2008, pp. 185-203
On short paths interdiction problems: Total and node-wise limited interdiction
Leonid Khachiyan
,
Endre Boros
,
Konrad Borys
,
Khaled Elbassioni
,
Vladimir Gurvich
,
Gabor Rudolph
,
Jihui Zhao
Theory of Computing Systems
43
(2), 2008, pp. 204-233
Enumerate and expand: Improved algorithms for connected vertex cover and tree cover
Daniel Mölle
,
Stefan Richter
,
Peter Rossmantih
Theory of Computing Systems
43
(2), 2008, pp. 234-253
Branching time logics BTL
^{\mbox{\tiny {U,S}}}_{{\mbox{\tiny {N,N}}^{-1}}} {\mbox (Z)}_{\alpha}
with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms
V. Rybakov
Theory of Computing Systems
43
(2), 2008, pp. 254-271
Interacting explicit evidence systems
Tatiana Yavorskaya (Sidon)
Theory of Computing Systems
43
(2), 2008, pp. 272-293
Computability in Europe 2006
Arnold Beckmann
,
Benedikt Löwe
Theory of Computing Systems
43
(3-4), 2008, pp. 295-297
A provably correct translation of the
\lambda
-calculus into a mathematical model of C++
Rose H. Abdul Rauf
,
Ulrich Berger
,
Anton Setzer
Theory of Computing Systems
43
(3-4), 2008, pp. 298-321
Abstract interface behavior of object-oriented languages with monitors
Erika Ábrahám
,
Andreas Grüner
,
Martin Steffen
Theory of Computing Systems
43
(3-4), 2008, pp. 322-361
Datatype-generic termination proofs
Roland Backhouse
,
Henk Doornbos
Theory of Computing Systems
43
(3-4), 2008, pp. 362-393
Coinduction for exact real number computation
Ulrich Berger
,
Tie Hou
Theory of Computing Systems
43
(3-4), 2008, pp. 394-409
Division safe calculation in totalised fields
J.A. Bergstra
,
J.V. Tucker
Theory of Computing Systems
43
(3-4), 2008, pp. 410-424
Dimension extractors and optimal decompression
David Doty
Theory of Computing Systems
43
(3-4), 2008, pp. 425-463
A hierarchy below the halting problem for additive machines
Christine Gaßner
Theory of Computing Systems
43
(3-4), 2008, pp. 464-470
Scaled dimension and the Kolmogorov complexity of Turing-hard sets
John M. Hitchcock
,
María López-Valdés
,
Elvira Mayordomo
Theory of Computing Systems
43
(3-4), 2008, pp. 471-497
Bounds on sizes of finite bisimulations of Pfaffian dynamical systems
Margarita Korovina
,
Nicolai Vorobjov
Theory of Computing Systems
43
(3-4), 2008, pp. 498-515
Seiten 1
2
>