Volume 9,
1979
- David A. Plaisted:
Fast Verification, Testing, and Generation of Large Primes.
1-16 BibTeX
- Jean-Pierre Duval:
Periodes et Repetitions des Mots du Monoide Libre.
17-26 BibTeX
- Jan A. Bergstra, Jan Willem Klop:
Church-Rosser Strategies in the Lambda Calculus.
27-38 BibTeX
- Irène Guessarian:
Program Transformations and Algebraic Semantics.
39-65 BibTeX
- Richard Statman:
Intuitionistic Propositional Logic is Polynomial-Space Complete.
67-72 BibTeX
- Richard Statman:
The Typed lambda-Calculus is not Elementary Recursive.
73-81 BibTeX
- Ingo Wegener:
Switching Functions Whose Monotone Complexity is Nearly Quadratic.
83-97 BibTeX
- Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin:
The Number of Registers Required for Evaluating Arithmetic Expressions.
99-125 BibTeX
- Gerd Wechsung, Andreas Brandstädt:
A Relation Between Space, Return and Dual Return Complexities.
127-140 BibTeX
- Gilles Christol:
Ensembles Presque Periodiques k-Reconnaissables.
141-145 BibTeX
- Ingo Wegener:
A Counterexample to a Conjecture of Schnorr Referring to Monotone Networks.
147-150 BibTeX
- A. Tang:
Chain Properties in P omega.
153-172 BibTeX
- Michael A. Harrison, Ivan M. Havel, Amiram Yehudai:
On Equivalence of Grammars Through Transformation Trees.
173-205 BibTeX
- Juhani Karhumäki:
On Commutative DT0L Systems.
207-220 BibTeX
- Dominique Perrin:
La Representation Ergodique d'un Automate fini.
221-241 BibTeX
- Edward A. Ashcroft, Faith E. Fich:
A Generalized Setting for Fixpoint Theory.
243-256 BibTeX
- Stephen L. Bloom, Ralph Tindell:
Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes.
265-286 BibTeX
- Anton Nijholt:
Simple Chain Grammars and Languages.
287-309 BibTeX
- Katsushi Inoue, Itsuo Takanami, Akira Nakamura, Tadashi Ae:
One-Way Simple Multihead Finite Automata.
311-328 BibTeX
- Raymond Aubin:
Mechanizing Structural Induction Part I: Formal System.
329-345 BibTeX
- Raymond Aubin:
Mechanizing Structural Induction Part II: Strategies.
347-362 BibTeX
- Christophe Reutenauer:
Sur les Series Associees a Certains Systemes de Lindenmayer.
363-375 BibTeX
- Keijo Ruohonen:
On Some Decidability Problems for HD0L Systems with Nonsingular Parikh Matrices.
377-384 BibTeX
- F. Rodriguez:
Familles de Langages Fermees par Crochet Ouvert.
385-398 BibTeX
Copyright © Thu Sep 4 22:02:23 2008
by Michael Ley (ley@uni-trier.de)
