default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 - Vladimir 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
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 - 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
Volume 25, Number 3, March 1996
- 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 - Lifu Guo, Kai Salomaa, Sheng Yu:
On Synchronization Languages. 423-436
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
