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