Fundamenta Informaticae, Volume 26

Volume 26, Number 1, April 1996

Ranjit Biswas: On i-v Fuzzy Subgroups. 1-9 BibTeX
Paulo Blauth Menezes, José Félix Costa: Synchronization in Petri Nets. 11-22 BibTeX
Heike Spilker, Dietmar Wätjen: Some Undecidability Results Concerning k-limited 0L Systems. 23-30 BibTeX
Naphtali Rishe: A Universal Model for Non-Procedural Database Languages. 31-57 BibTeX
Paolo Boldi: Maximal Chains and Antichains in Strongly Noetherian Semiorders. 59-80 BibTeX
Andrzej Szalas: On Natural Deduction in First-Ortder Fixpoint Logics. 81-94 BibTeX
Yoram Hirshfeld: Undecidability of Language Equivalence for Generalized Regular Expressions. 95-102 BibTeX

Wan Fokkink: A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. 103-113 BibTeX
Yuxi Fu: Recursive Models of General Inductive Types. 115-131 BibTeX
Peter M. W. Knijnenburg: A Note on the Smyth Powerdomain Construction. 133-139 BibTeX
Steffen van Bakel: Rank 2 Intersection Type Assignment in Term Rewriting Systems. 141-166 BibTeX
Beata Konikowska: McCarthy Algebras: A Model of McCarthy's Logical Calculus. 167-203 BibTeX

Special Issue: Graph Transformations

Zena M. Ariola, Jan Willem Klop: Equational Term Graph Rewriting. 207-240 BibTeX
Andrea Corradini, Ugo Montanari, Francesca Rossi: Graph Processes. 241-265 BibTeX
Frank Drewes: A Lower Bound on the Growth of Functions Computed by Tree Transducers. 267-285 BibTeX
Annegret Habel, Reiko Heckel, Gabriele Taentzer: Graph Grammars with Negative Application Conditions. 287-313 BibTeX
Dirk Janssens, Tom Mens: Abstract Semantics for ESM Systems. 315-339 BibTeX
Mohamed Mosbah: Probabilistic Graph Grammars. 341-362 BibTeX
Andy Schürr: Logic Based Programmed Structure Rewriting Systems. 363-385 BibTeX
Gabriele Taentzer: Towards Synchronous and Asynchronous Graph Transformations. 387-406 BibTeX
Annika Wagner, Martin Gogolla: Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. 407-431 BibTeX