Journal: Theory Comput. Syst.

Volume 50, Issue 2

213 -- 240Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche. The Navigational Power of Web Browsers
241 -- 278Zoltán Fülöp, Torsten Stüber, Heiko Vogler. A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids
279 -- 295Matan Mandelbrod. Layered Hashing Algorithm for Real-time Systems
296 -- 312Vladimir V. V'yugin. On Empirical Meaning of Randomness with Respect to Parametric Families of Probability Distributions
313 -- 328Jan A. Bergstra, C. A. Middelburg. On the Expressiveness of Single-Pass Instruction Sequences
329 -- 353Simone Bova, Hubie Chen, Matthew Valeriote. On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas
354 -- 369Valentin V. Andreev, Timothy H. McNicholl. Computing Conformal Maps of Finitely Connected Domains onto Canonical Slit Domains
370 -- 386P. J. Couch, B. D. Daniel, Timothy H. McNicholl. Computing Space-Filling Curves
387 -- 399M. A. Cerdà-Uguet, Michel P. Schellekens, Oscar Valero. The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science