Volume 58,
1988
- Didier Arquès, Jean Françon, M. T. Guichet, P. Guichet:
Comparison of Algorithms Controlling Concurrent Access to a Database: A Combinatorial Approach.
3-16 BibTeX
- Amir Averbuch, Zvi Galil, Shmuel Winograd:
Classification of All the Minimal Bilinear Algorithms for Computing the Coefficients of the Product of Two Polynomials Modulo a Polynomial, Part I: The Algeabra G[u] / < Q(u)^l >, l > 1.
17-56 BibTeX
- Allan Borodin, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, Avi Wigderson:
A Tradeoff Between Search and Update Time for the Implicit Dictionary Problem.
57-68 BibTeX
- Franz-Josef Brandenburg:
On the Intersection of Stacks and Queues.
69-80 BibTeX
- Christian Choffrut, Marcel Paul Schützenberger:
Counting with Rational Functions.
81-101 BibTeX
- Marcel Paul Schützenberger:
Counting with Rational Functions.
81-101 BibTeX
- Clelia de Felice:
Finite Biprefix Sets of Paths in a Graph.
103-128 BibTeX
- Juris Hartmanis, Lane A. Hemachandra:
Complexity Classes without Machines: On Complete Languages for UP.
129-142 BibTeX
- Peter Kirschenhofer, Helmut Prodinger:
Further Results on Digital Search Trees.
143-154 BibTeX
- Sarit Kraus, Daniel J. Lehmann:
Knowledge, Belief and Time.
155-174 BibTeX
- Klaus-Jörn Lange:
Decompositions of Nondeterministic Reductions.
175-181 BibTeX
- Björn Lisper:
Synthesis and Equivalence of Concurrent Systems.
183-199 BibTeX
- Yves Métivier:
On Recognizable Subsets of Free Partially Commutative Monoids.
201-208 BibTeX
- Burkhard Monien, Ivan Hal Sudborough:
Min Cut is NP-Complete for Edge Weighted Treees.
209-229 BibTeX
- Jean-Pierre Pécuchet:
Etude Syntaxique des Parties Reconnaissables de Mots Infinis.
231-248 BibTeX
- George M. Reed, A. W. Roscoe:
A Timed Model for Communicating Sequential Processes.
249-261 BibTeX
- Louis E. Rosier, Hsu-Chun Yen:
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
263-324 BibTeX
- Klaus Simon:
An Improved Algorithm for Transitive Closure on Acyclic Digraphs.
325-346 BibTeX
- Colin Stirling:
A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language.
347-359 BibTeX
- Howard Straubing:
Semigroups and Languages of Dot-Depth Two.
361-378 BibTeX
- Peter J. Varman, Kshitij Doshi:
An Efficient Parallel Algorithm for Updating Minimum Spanning Trees.
379-397 BibTeX
Copyright © Sun May 17 00:23:57 2009
by Michael Ley (ley@uni-trier.de)
