Fundamenta Informaticae, Volume 25

Volume 25, Number 1, January 1996

Inge Bethke, Piet Rodenburg: Equational Constructor Induction. 1-15
Henning Fernau: On Grammar and Language Families. 17-34
V. A. Bondarenko, S. V. Yurov: About a Polyhedron of Cubic Graphs. 35-38
Andrés Bujosa, Regino Criado: Syntactic Elements of Declarative Programming: Symbolic Linear Equations. 39-48
Paliath Narendran: Unification Modulo ACI + 1 + 0. 49-57
Susanne Kaufmann, Martin Kummer: On a Quantitative Notion of Uniformity. 59-78
Waldemar Korczynski: On a Notion of Concurrence. 79-98

Colin de la Higuera, Marie-Catherine Daniel-Vatonne: On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties. 99-121
R. Stephens, B. C. Thompson: Cartesian Stream Transformer Compositon. 123-174
Erkki Mäkinen: A Note on the Grammatical Inference Problem for Even Linear Languages. 175-181
Wojciech Penczek: Axiomatizations of Temporal Logics on Trace Systems. 183-200
Mikhail Moshkov: Comparative Analysis of Deterministic and Nondeterministic Decision Tree Complexity. 201-214

Formal Language Theory

Jean Berstel, Luc Boasson: Towards an Algebraic Theory of Context-Free Languages. 217-239
Volker Diekert, Anca Muscholl: A Note on Métivier's Construction of Asynchronous Automata for Triangulated Graphs. 241-246
Ferenc Gécseg, Helmut Jürgensen: Dependence in Algebras. 247-256
Juha Honkala, Werner Kuich: On a Power Series Generalization of ETOL Languages. 257-270
Juraj Hromkovic, Jarkko Kari, Lila Kari, Dana Pardubská: Two Lower Bounds on Distributive Generation of Languages. 271-284
Denis Derencourt, Juhani Karhumäki, Michel Latteux, Alain Terlutte: On Computational Power of Weighted Finite Automata. 285-293
Frank Drewes, Hans-Jörg Kreowski: (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. 295-325
Klaus-Jörn Lange: Complexity and Structure in Formal Language Theory. 327-352
Hendrik Jan Hoogeboom, Paulien ten Pas: Text Languages in an Algebraic Framework. 353-380
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Contextual Grammars: Parallelism and Blocking of Derivation. 381-397
Dora Giammarresi, Antonio Restivo: Two-Dimensional Finite State Recognizability. 399-422
L. Guo, Kai Salomaa, Sheng Yu: On Synchronization Languages. 423-436