Volume 44, 1986
- Peter Ritzmann:
A Fast Numerical Algorithm for the Composition of Power Series with Complex Coefficients.
1-16
- François Blanchard, Georges Hansel:
Systèmes Codés.
17-49
- Daniel Leivant:
Typing and Computational Properties of Lambda Expressions.
51-68
- Louis E. Rosier, Hsu-Chun Yen:
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
69-105
- François Blanchard, Servet Martínez A.:
Points d'Orbite Dense de Certains Langages de Mots Infinis.
107-110
- Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, Bala Ravikumar:
On Pebble Automata.
111-121
- E. Paul:
On Solving the Equality Problem in Theories Defined by Horn Clauses.
127-153
- Ernst L. Leiss:
Generalized Language Equations with Multiple Solutions.
155-174
- Yuji Kobayashi:
Repetition-Free Words.
175-197
- Volker Diekert:
Complete Semi-Thue Systems for Abelian Groups.
199-208
- Tuvi Etzion:
An Algorithm for Generating Shift-Register Cycles.
209-224
- Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda:
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages.
225-228
- Friedrich J. Urbanek:
On Greibach Normal Form Construction.
229-236
- Paliath Narendran:
On the Equivalence Problem for Regular Thue Systems.
237-245
- Paul E. S. Dunne:
The Complexity of Central Slice Functions.
247-257
- Masako Takahashi:
The Greatest Fixed-Points and Rational Omega-Tree Languages.
259-274
- Hans-Jörg Kreowski, Anne Wilharm:
Net Processes Correspond to Derivation Processes in Graph Grammars.
275-305
- William F. Dowling, Jean H. Gallier:
Continuation Semantics for Flowgraph Equations.
307-331
- Ebbe Thue Poulsen:
The Ehrenfeucht Conjecture: An Algebra-Framework for Its Proof.
333-339
Last update Sat May 18 17:39:47 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
