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
  

Last update Sat May 18 20:26:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page