Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 154
Volume 154, Number 1, 22 January 1996
- 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
Volume 154, Number 2, 5 February 1996
- 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 F. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
