Fundamenta Informaticae, Volume 26

Volume 26, Number 1, April 1996

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

Volume 26, Number 2, May 1996

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

Volume 26, Number 3/4, June 1996

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