Journal: Fundamenta Informaticae

Volume 25, Issue 3

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

Volume 25, Issue 2

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

Volume 25, Issue 1

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