Volume 66,
Number 1,
1989
- Thomas Lehmkuhl, Thomas Lickteig:
On the Order of Approximation in Approximative Triadic Decompositions of Tensors.
1-14
- Paul E. S. Dunne:
On Monotone Simulations of Nonmonotone Networks.
15-25
- Adolfo Piperno:
Abstraction Problems in Combinatory Logic a Compositive Approach.
27-43
- Jarkko Kari:
Observations Concerning a Public-Key Cryptosystem Based on Iterated Morphisms.
45-53
- Zhang Luo Xin:
A Efficient Algorithm to Decide Whether a Monoid Presented by a Regular Church-Rosser Thue System is a Group.
55-63
- Rieks op den Akker:
On LC(0) Grammars and Languages.
65-85
- Alasdair Urquhart:
The Complexity of Gentzen Systems for Propositional Logic.
87-97
- Richard Statman:
On Sets of Solutions to Combinator Equations.
99-104
- Andrzej Pelc:
Weakly Adaptive Comparison Searching.
105-111
- Daniele Mundici:
Functions Computed by Monotone Boolean Formulas with no Repeated Variables.
113-114
Volume 66,
Number 2,
1989
Selected Papers from ICALP 1987,
Karlsruhe
Volume 66,
Number 3,
1989
Copyright © Fri Mar 12 17:33:06 2010
by Michael Ley (ley@uni-trier.de)
