Volume 30, Issue 4 | Theory of Computing Systems

Search all Theory of Computing Systems articles

Volume 30, Issue 4

August 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Monadic second-order definable text languages
H. J. Hoogeboom
P. ten Pas
OriginalPaper 31 July 2007 Pages: 335 - 354
Expressing uniformity via oracles
C. Damm
M. Holzer
P. Rossmanith
OriginalPaper 31 July 2007 Pages: 355 - 366
Diagonal polynomials and diagonal orders on multidimensional lattices
L. B. Morales
OriginalPaper 31 July 2007 Pages: 367 - 382
Polynomial closure and unambiguous product
J. -E. Pin
P. Weil
OriginalPaper 31 July 2007 Pages: 383 - 422
Complexity of presburger arithmetic with fixed quantifier dimension
U. Schöning
OriginalPaper 31 July 2007 Pages: 423 - 428
Observations on measure and lowness for Δ ₂ ^P
J. H. Lutz
OriginalPaper 31 July 2007 Pages: 429 - 442