Fundamenta Informaticae, Volume 25

Volume 25, Number 1, January 1996

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

Volume 25, Number 2, February 1996

• 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 BibTeX
• R. Stephens, B. C. Thompson: Cartesian Stream Transformer Compositon. 123-174 BibTeX
• Erkki Mäkinen: A Note on the Grammatical Inference Problem for Even Linear Languages. 175-181 BibTeX
• Wojciech Penczek: Axiomatizations of Temporal Logics on Trace Systems. 183-200 BibTeX
• Mikhail Moshkov: Comparative Analysis of Deterministic and Nondeterministic Decision Tree Complexity. 201-214 BibTeX

Volume 25, Number 3, March 1996

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