Volume 43, Number 1, July 2008
export record as
dblp key:
export record as
dblp key:
journals/mst/Bar-YehudaFR08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mst/ShachnaiTY08
Volume 43, Number 2, August 2008
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mst/Beyersdorff08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Evan Goris :
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
185-203
export record as
dblp key:
journals/mst/KhachiyanBBEGRZ08 export record as
dblp key:
export record as
dblp key:
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
export record as
dblp key:
journals/mst/Yavorskaya08
Volume 43, Numbers 3-4, December 2008
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mst/BackhouseD08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Doty :
Dimension Extractors and Optimal Decompression.
425-463
export record as
dblp key:
Christine Gaßner :
A Hierarchy below the Halting Problem for Additive Machines.
464-470
export record as
dblp key:
journals/mst/HitchcockLM08 export record as
dblp key:
export record as
dblp key:
journals/mst/Kristiansen08 Lars Kristiansen :
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's T .
516-541
export record as
dblp key:
Johann A. Makowsky :
From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials.
542-562
export record as
dblp key:
export record as
dblp key:
journals/mst/Schwichtenberg08 export record as
dblp key:
Xizhong Zheng :
Classification of Computably Approximable Real Numbers.
603-624
data released under the ODC-BY 1.0 license
