- Number 1 January 1996
- Number 2 February 1996
- Number 3&4 March 1996

- Equational Constructor Induction
- I. BETHKE and P. RODENBURG
- On Grammar and Language Families
- H. FERNAU
- About a Polyhedron of Cubic Graphs
- V.A. BONDARENKO and S.V.YUROV
- Syntactic Elements of Declarative Programming: Symbolic Linear Equations
- A. BUJOSA and R. CRIADO
- Unification Modulo ACI+1+0
- P. NARENDRAN
- On a Quantitative Notion of Uniformity
- S. KAUFMANN and M. KUMMER
- On a Notion of Concurrence
- W. KORCZYNSKI

- On Sets of Terms: A Study of Generalisation Revision and of Its Algorithmic Properties
- C. DE LA HIGUERA and M.-C. DANIEL-VATONNE
- Cartesian Stream Transformer Composition
- R. STEPHENS and B.C. THOMPSON
- A Note on the Grammatical Inference Problem for Even Linear Languages
- E. MAKINEN
- Axiomatizations of Temporal Logics on Trace Systems
- W. PENCZEK
- Comparative Analysis of Deterministic and Nondeterministic Decision Tree Complexity. Global Approach
- M. MOSHKOV

SPECIAL ISSUE: FORMAL LANGUAGE THEORY

**Dedicated to the memory of Professor Helena Rasiowa**

- Guest Editors' Preface
- G. ROZENBERG and A. SALOMAA
- Towards an Algebraic Theory of Context-Free Languages
- J. BERSTEL and L. BOISSON
- A Note on Metivier's Construction of Asynchronous Automata for Triangulated Graphs
- V. DIEKERT and A. MUSCHOLL
- Dependence in Algebras
- F.GECSEG and H. JURGENSEN
- On a Power Series Generalization of ETOL Languages
- J. HONKALA and W. KIUCH
- Two Lower Bounds on Distributive Generation of Languages
- J HROMKOVIC, J. KARI, L. KARI and D. PARDUBSKA
- On Computational Power of Weighted Finite Automata
- D. DERENCOURT, J. KAHUMAKI, M. LATTEUX and A. TERLUTTE
- (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Gramars
- F. DREWES and H.-J. KREOWSKI
- Complexity and Structure in Formal Language Theory
- K.-J. LANGE
- Text Languages in an Algebraic Framework
- H. J. HOOGEBOOM and P. TEN PAS
- Contextual Grammars: Prallelism and Blocking of Derivation
- G. PAUN, G. ROZENBERG and A. SALOMAA
- Two Dimensional Finite State Recognizability
- D. GIAMMARRESI and A. RESTIVO
- On Synchronization Languages
- L. GUO, K. SALOMAA and S.YU