Volume 57, 1988
Manfred Broy:
Equational Specification of Partial Higher-Order Algebras.
3-45
Farid M. Ablyv:
The Complexity Properties of Probabilistic Automata with Isolated Cut Point.
87-95
Juraj Hromkovic:
The Advantages of a New Approach to Defining the Communication Complexity for VLSI.
91-111
Stasys Jukna:
Entropy of Contact Circuits and Lower Bounds on Their Complexity.
113-129
Werner Kuich:
Matrix Systems and Principal Cones of Algebraic Power Series.
147-152
Arnon Avron:
The Semantics and Proof Theory of Linear Logic.
161-184
Yuri Velinov:
An Algebraic Structure for Derivations in Rewriting Systems.
205-224
Kosaburo Hashiguchi:
Notes on Congruence Relations and Factor Pumping Conditions for Rational Languages.
303-316
data released under the ODC-BY 1.0 license
