Volume 53,
1987
- Eric G. Wagner:
A Categorical Treatment of Pre- and Post-Conditions.
3-24 BibTeX
- Gilberto Filé:
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures.
25-65 BibTeX
- David de Frutos-Escrig:
Probabilistic Ianov's Schemes.
67-97 BibTeX
- Guy Louchard:
Random Walks, Gaussian Processes and List Structures.
99-124 BibTeX
- Alex Pelin, Jean H. Gallier:
Building Exact Computation Sequences.
125-150 BibTeX
- Alberto Pettorossi:
Derivation of Efficient Programs for Computing Sequences of Actions.
151-167 BibTeX
- Hagit Attiya, Yishay Mansour:
Language Complexity on the Synchronous Anonymous Ring.
169-185 BibTeX
- Igor Litovsky, Erick Timmerman:
On Generators of Rational omega-Power Languages.
187-200 BibTeX
- Claus-Peter Schnorr:
A Hierarchy of Polynomial Time Lattice Basis Reduction Algorithms.
201-224 BibTeX
- Samson Abramsky:
Observation Equivalence as a Testing Equivalence.
225-241 BibTeX
- Zoltán Ésik, Ferenc Gécseg:
On a Representation of Tree Automata.
243-255 BibTeX
- Haiko Müller, Andreas Brandstädt:
The NP-Completeness of Steiner Tree and Dominating Set for Chordal Bipartite Graphs.
257-265 BibTeX
- Meurig Beynon, John Buckle:
On the Planar Monotone Computation of Boolean Functions.
267-279 BibTeX
- David Peleg, Eli Upfal:
The Generalized Packet Routing Problem.
281-293 BibTeX
- Wojciech Rytter, Raffaele Giancarlo:
Optimal Parallel Parsing of Bracket Languages.
295-306 BibTeX
- Max H. Garzon:
Cyclic Automata.
307-317 BibTeX
- Taishin Y. Nishida, Youichi Kobuchi:
Repeatable Words for Substitution.
319-333 BibTeX
- Lars Hallnäs:
An Intensional Characterization of the Largest Bisimulation.
335-343 BibTeX
- Nicola Santoro, Jeffrey B. Sidney, Stuart J. Sidney, Jorge Urrutia:
Geometric Containment and Vector Dominance.
345-352 BibTeX
Copyright © Sun May 17 00:23:56 2009
by Michael Ley (ley@uni-trier.de)
