Contents of Fundamenta Informaticae Volume 26.


Number 1 April 1996
Number 2 May 1996
Number 3&4 June 1996

Contents of Volume 26, Number 1, April 1996


On i-v Fuzzy Subgroups
R. BISWAS

Synchronization in Petri Nets
P.B. MENEZES and J.F. COSTA

Some Undecidability Results Concerning k-limited 0L Systems
H. SPILKER and D. WATJEN

A Universal Model for Non-Procedural Database Languages
N. RISHE

Maximal Chains and Antichains in Strongly Noetherian Semiorders
P. BOLDI

On Natural Deduction in First-Order Fixpoint Logics
A. SZALAS

Undecidability of Language Equivalence for Generalized Regular Expressions
V. HIRSHFELD

Contents of Volume 26, Number 2, May 1996


A Complete Axiomization for Prefix Iteration in Branching Bisimulation
W. FOKKINK

Recursive Models of General Inductive Types
Y. FU

A Note on the Smyth Powerdomain Construction
P.M.W. KNIJNENBURG

Rank 2 Intersection type Assignmentin Term Rewriting Systems
S. VAN BAKEL

McCarthy Algebras: A Model of MacCarthy's Logical Calculus
B. KONIKOWSKA


Contents of Volume 26, Number 3&4, June 1996

SPECIAL ISSUE: GRAPH TRANSFORMATIONS

Guest Editors' Preface
G.ENGELS, H.EHRIG and G.ROZENBERG

Equational Term Graph Rewriting
Z.M.ARIOLA and J.W.KLOP

Graph Processes
A.CORRADINI, U.MONTANARI and F.ROSSI

A Lower Bound on the Growth of Functions Computed by Tree Transducers
F.DREWES

Graph Grammars with Negative Application Conditions
A.HABEL, R.HECKEL and G.TAENTZER

Abstract Semantics for ESM Systems
D.JANSSENS and T.MENS

Probabilistic Graph Grammars
M.MOSBAH

Logic Based Programmed Structure Rewriting Systems
A.SCHURR

Towards Synchronous and Asynchronous Graph Transformations
G.TAENZER

Defining Operational Behavior of Object Specifications by Attributed Graph Transformations
A.WAGNER and M.GOGOLLA