Theoretical Computer Science, Volume 154

Volume 154, Number 1, 22 January 1996

Selected Papers of the Twentieth International Colloquium on Automata, Languages and Programming (ICALP), Lund, Sweden, July 1993

Artur Czumaj, Alan Gibbons:
Guthrie's Problem: New Equivalences and Rapid Reductions. 3-22
Marek Karpinski, Rutger Verbeek:
On Randomized versus Deterministic Computation. 23-39
Jerzy W. Jaromczyk, Grzegorz Swiatek:
A Theory of Even Functionals and Their Algorithmic Applications. 41-56
David M. Cohen, Michael L. Fredman:
Products of Finite State Machines with Full Coverage. 57-65
Werner Ebinger, Anca Muscholl:
Logical Definability on Infinite Traces. 67-84
Thomas Wilke:
An Algebraic Characterization of Frontier Testable Tree Languages. 85-106
Lalita Jategaonkar, Albert R. Meyer:
Deciding True Concurrency Equivalences on Safe, Finite Nets. 107-143

Claude Sureson:
P, NP, Co-NP and Weak Systems of Arithmetic. 145-163
Christophe Fiorio, Jens Gustedt:
Two Linear Time Union-Find Strategies for Image Processing. 165-181
Victor Mitrana, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Pattern Systems. 183-201
Ramana M. Idury, Alejandro A. Schäffer:
Multiple Matching of Parametrized Patterns. 203-224
Joseph JáJá, Kwan Woo Ryu, Uzi Vishkin:
Sorting Strings and Constructing Digital Search Trees in Parallel. 225-245
Joost Engelfriet, Tero Harju, Andrzej Proskurowski, Grzegorz Rozenberg:
Characterization and Complexity of Uniformly Non Primitive Labeled 2-Structures. 247-282
Carlo Blundo, Alfredo De Santis, Luisa Gargano, Ugo Vaccaro:
On the Information Rate of Secret Sharing Schemes. 283-306
Cristian Calude, Marius Zimand:
Effective Category and Measure in Abstract Complexity Theory. 307-327
N. Lafaye de Micheaux, C. Rambau:
Confluence for Graph Transformations. 329-348
Rana Barua, S. Ramakrishnan:
sigma-Game, sigma+-Game, and Two-Dimensional Additive Cellular Automata. 349-366
Lane A. Hemaspaandra, Leen Torenvliet:
Optimal Advice. 367-377
S. Ramesh, Bommadevara N. Srinivas:
A Direct Characterization of Completion. 379-385
Jacques Justin, Giuseppe Pirillo:
On a Combinatorial Property of Sturmian Words. 387-394

Last update Tue May 21 15:36:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page