@article{Bar-Yehuda-Feldman-Rawitz/08,
AUTHOR = {Bar-Yehuda, Reuven and Feldman, Ido and Rawitz, Dror},
TITLE = {Improved approximation algorithm for convex recoloring of trees},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {3-18},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/1k55364000530049/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Blaser-Ram/08,
AUTHOR = {Bl{\"a}ser, M. and Ram, L. Shankar},
TITLE = {Approximately fair cost allocation in metric Traveling Salesman games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {19-37},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/k631311564150hgq/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Han-Iwama-Zhang/08,
AUTHOR = {Han, Xin and Iwama, Kazuo and Zhang, Guochuan},
TITLE = {Online removable square packing},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {38-55},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/d058561035426548/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Koch-Skutella-Spenke/08,
AUTHOR = {Koch, Ronald and Skutella, Martin and Spenke, Ines},
TITLE = {Maximum $k$-splittable $s, t$-flows},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {56-66},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/6307l655g51h1951/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Pruhs-van_Stee-Uthaisombut/08,
AUTHOR = {Pruhs, Kirk and van Stee, Rob and Uthaisombut, Patchrawat},
TITLE = {Speed scaling of tasks with precedence constraints},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {67-80},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/x28960820041k300/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Shachnai-Tamir-Yehezkely/08,
AUTHOR = {Shachnai, Hadas and Tamir, Tami and Yehezkely, Omer},
TITLE = {Approximation schemes for packing with item fragmentation},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {1},
PAGES = {81-98},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/w3t15vl0h6475mx8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Arvind-Das/08,
AUTHOR = {Arvind, V. and Das, Bireswar},
TITLE = {SZK proofs for black-box group problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {100-117},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/wh626443431l6266/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Beyersdorff/08,
AUTHOR = {Beyersdorff, Olaf},
TITLE = {Tuples of disjoint $NP$-sets},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {118-135},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/lml054266128p42q/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bodirsky-Kara/08a,
AUTHOR = {Bodirsky, Manuel and K{\'a}ra, Jan},
TITLE = {The complexity of equality constraint languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {136-158},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/250422x53n856514/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gal-Koucky-McKenzie/08,
AUTHOR = {G{\'a}l, Anna and Kouck{\'y}, Michal and McKenzie, Pierre},
TITLE = {Incremental branching programs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {159-184},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/r66lnq54t66q6444/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Goris/08,
AUTHOR = {Goris, Evan},
TITLE = {Feasable operations on Proofs: The Logic of proofs for bounded arithmetic},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {185-203},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/36473013211g4t10/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Khachiyan-Boros-Borys-Elbassioni-Gurvich-Rudolph-Zhao/08,
AUTHOR = {Khachiyan, Leonid and Boros, Endre and Borys, Konrad and Elbassioni, Khaled and Gurvich, Vladimir and Rudolph, Gabor and Zhao, Jihui},
TITLE = {On short paths interdiction problems: Total and node-wise limited interdiction},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {204-233},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/211581w3un6863k7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Molle-Richter-Rossmantih/08,
AUTHOR = {M{\"o}lle, Daniel and Richter, Stefan and Rossmantih, Peter},
TITLE = {Enumerate and expand: Improved algorithms for connected vertex cover and tree cover},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {234-253},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/75451178963mq726/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Rybakov/08,
AUTHOR = {Rybakov, V.},
TITLE = {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},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {254-271},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/448573412u48vh37/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Yavorskaya_Sidon/08,
AUTHOR = {Yavorskaya (Sidon), Tatiana},
TITLE = {Interacting explicit evidence systems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {2},
PAGES = {272-293},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/u6j58531w613rl46/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Beckmann-Lowe/08,
AUTHOR = {Beckmann, Arnold and L{\"o}we, Benedikt},
TITLE = {Computability in Europe 2006},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {295-297},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/f51065q671x573j7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Abdul_Rauf-Berger-Setzer/08,
AUTHOR = {Abdul Rauf, Rose H. and Berger, Ulrich and Setzer, Anton},
TITLE = {A provably correct translation of the $\lambda$-calculus into a mathematical model of C++},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {298-321},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/b6ul067104505632/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Abraham-Gruner-Steffen/08,
AUTHOR = {{\'A}brah{\'a}m, Erika and Gr{\"u}ner, Andreas and Steffen, Martin},
TITLE = {Abstract interface behavior of object-oriented languages with monitors},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {322-361},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/3365g26781740807/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Backhouse-Doornbos/08,
AUTHOR = {Backhouse, Roland and Doornbos, Henk},
TITLE = {Datatype-generic termination proofs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {362-393},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/hr460r3836k60644/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Berger-Hou/08,
AUTHOR = {Berger, Ulrich and Hou, Tie},
TITLE = {Coinduction for exact real number computation},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {394-409},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/p7554r613v28w21l/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bergstra-Tucker/08,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Division safe calculation in totalised fields},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {410-424},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/l105171071027612/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Doty/08,
AUTHOR = {Doty, David},
TITLE = {Dimension extractors and optimal decompression},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {425-463},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/y746664634t68417/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gassner/08,
AUTHOR = {Ga{\ss}ner, Christine},
TITLE = {A hierarchy below the halting problem for additive machines},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {464-470},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/n800mwn1507gmqn1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Hitchcock-Lopez-Valdes-Mayordomo/08,
AUTHOR = {Hitchcock, John M. and L{\'o}pez-Vald{\'e}s, Mar{\'{i}}a and Mayordomo, Elvira},
TITLE = {Scaled dimension and the Kolmogorov complexity of Turing-hard sets},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {471-497},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/dnx1x04751463243/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Korovina-Vorobjov/08,
AUTHOR = {Korovina, Margarita and Vorobjov, Nicolai},
TITLE = {Bounds on sizes of finite bisimulations of Pfaffian dynamical systems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {498-515},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/n02643q421n2jtt3/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kristiansen/08,
AUTHOR = {Kristiansen, Lars},
TITLE = {Complexity-theoretic hierarchies induced by fragments of G{\"o}del's $T$},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {516-541},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/e53l54627x063685/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Makowsky/08,
AUTHOR = {Makowsky, J.A.},
TITLE = {From a zoo to a zoology: Towards a general theory of graph polynomials},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {542-562},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/p651v22676071442/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ponse-von_der_Zwang/08,
AUTHOR = {Ponse, Alban and von der Zwang, Mark B.},
TITLE = {Risk assessment for one-counter threads},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {563-582},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/4t20768v7728t447/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Schwichtenberg/08,
AUTHOR = {Schwichtenberg, Helmut},
TITLE = {Realizability interpretation of proofs in constructive analysis},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {583-602},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/q2775231011613p7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Zheng/08,
AUTHOR = {Zheng, Xizhong},
TITLE = {Classification of computably approximable real numbers},
JOURNAL = {Theory of Computing Systems},
VOLUME = {43},
NUMBER = {3-4},
PAGES = {603-624},
YEAR = {2008},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/0172644j042r2121/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}