Journal: Theory Comput. Syst.

Volume 30, Issue 4

335 -- 354Hendrik Jan Hoogeboom, Paulien ten Pas. Monadic Second-Order Definable Text Languages
355 -- 366Carsten Damm, Markus Holzer, Peter Rossmanith. Expressing Uniformity via Oracles
367 -- 382Luis B. Morales. Diagonal Polynomials and Diagonal Orders on Multidimensional Lattices
383 -- 422Jean-Eric Pin, Pascal Weil. Ponynominal Closure and Unambiguous Product
423 -- 428Uwe Schöning. Complexity of Presburger Arithmetic with Fixed Quantifier Dimension
429 -- 442Jack H. Lutz. Observations on Measure and Lowness for /Delta^p_2