Contents of Fundamenta Informaticae Volume 25.


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

Contents of Volume 25, Number 1, January 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

Contents of Volume 25, Number 2, February 1996


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

Contents of Volume 25, Number 3&4, March 1996

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