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