Volume 14,
1981
- Georg Gato:
Some Elements of a Galois Theory of the Structure and Complexity of the Tree Automorphism Problem.
1-17 BibTeX
- Jürgen Schulte Mönting:
Merging of 4 or 5 Elements with n Elements.
19-37 BibTeX
- Yasuaki Nishitani, Namio Honda:
The Firing Squad Synchronization Problem for Graphs.
39-61 BibTeX
- Ernst L. Leiss:
On Generalized Language Equations.
63-77 BibTeX
- Arnon Rosenthal:
Optimal Algorithms for Sensitivity Analysis in Associative Multiplication Problems.
79-90 BibTeX
- Timothy J. Long:
On gamma-Reducibility Versus Polynomial Time Many-One Reducibility.
91-101 BibTeX
- Zvi Galil:
On the Theoretical Efficiency of Various Network Flow Algorithms.
103-111 BibTeX
- Dexter Kozen, Rohit Parikh:
An Elementary Proof of the Completness of PDL.
113-118 BibTeX
- Michel Latteux:
A Propos du Lemme de Substitution.
119-123 BibTeX
- Matthias Jantzen:
The Power of Synchronizing Operations on Strings.
127-154 BibTeX
- Jean H. Gallier:
DPDA's in `Atomic Normal Form' and Applications to Equivalence Problems.
155-186 BibTeX
- Joffroy Beauquier:
Substitution of Semi-AFL'S.
187-193 BibTeX
- Denis Thérien:
Classification of Finite Monoids: The Language Approach.
195-208 BibTeX
- Akira Maruoka, Masayuki Kimura, Nobuyoshi Shoji:
Pattern Decomposition for Tessellation Automata.
211-226 BibTeX
- Walter Bucher, Hermann A. Maurer, Karel Culik II, Detlef Wotschke:
Concise Description of Finite Languages.
227-246 BibTeX
- Janusz Stoklosa, Wojciech Zakowski:
Computations of (alpha, k)-Machines.
247-265 BibTeX
- Grzegorz Rozenberg, R. Verraedt:
On Pure, Terminal Invariant and Nonterminal Invariant Interpretations of E0L Forms.
267-288 BibTeX
- Shlomo Moran:
General Approximation Algorithms for some Arithmetical Combinatorial Problems.
289-303 BibTeX
- G. Callegarin, Giuliano Pacini:
About the Implementability and the Power of Equationally Defined Data Abstractions.
305-315 BibTeX
- Kurt Jensen:
Coloured Petri Nets and the Invariant-Method.
317-336 BibTeX
- Walter Bucher:
A Note on a Problem in the Theory of Grammatical Complexity.
337-344 BibTeX
Copyright © Sun May 17 00:23:47 2009
by Michael Ley (ley@uni-trier.de)