Volume 22,
1983
- J. Roger Hindley:
The Completeness Theorem for Typing lambda-Terms.
1-17 BibTeX
- Masahiko Sato:
Theory of Symbolic Expressions, I.
19-55 BibTeX
- Jan Pittl, Amiram Yehudai:
Constructing a Realtime Deterministic Pushdown Automaton from a Grammar.
57-69 BibTeX
- Péter Gács:
On the Relation between Descriptional Complexity and Algorithmic Probability.
71-93 BibTeX
- Werner Kuich, Friedrich J. Urbanek:
Infinite Linear Systems and one Counter Languages.
95-126 BibTeX
- J. Roger Hindley:
Curry's Type-Rules are Complete with Respect to the F-Semantics too.
127-133 BibTeX
- Gérard Boudol, Laurent Kott:
Recursion Induction Principle Revisited.
135-173 BibTeX
- Minoru Ito, Kenichi Taniguchi, Tadao Kasami:
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.
175-194 BibTeX
- Grzegorz W. Wasilkowski:
Any Iteration for Polynomial Equations Using Linear Information has Infinite Complexity.
195-208 BibTeX
- D. T. Lee, C. L. Liu, C. K. Wong:
(g 0, g 1, ... g k)-Trees and Unary OL Systems.
209-217 BibTeX
- Magnus Steinby:
Systolic Trees and Systolic Language Recognition by Tree Automata.
219-232 BibTeX
- G. Lev, Leslie G. Valiant:
Size Bounds for Superconcentrators.
233-251 BibTeX
- Masako Takahashi:
Nest Sets and Relativized Closure Properties.
253-264 BibTeX
- Jan A. Bergstra, J. V. Tucker:
Hoare's Logic and Peano's Arithmetic.
265-284 BibTeX
- Abraham Lempel, Gadiel Seroussi, Shmuel Winograd:
On the Complexity of Multiplication in Finite Fields.
285-296 BibTeX
- Alberto Apostolico, Franco P. Preparata:
Optimal Off-Line Detection of Repetitions in a String.
297-315 BibTeX
- Walter Baur, Volker Strassen:
The Complexity of Partial Derivatives.
317-330 BibTeX
- Hermann A. Maurer, Arto Salomaa, Derick Wood:
L Codes and Number Systems.
331-346 BibTeX
Copyright © Wed Jun 4 19:21:04 2008
by Michael Ley (ley@uni-trier.de)
