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
Volume 26, Number 2, May 1996
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
Volume 26, Number 3/4, June 1996
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
Copyright ©
Sat May 16 23:59:23 2009 by
Michael Ley
(
ley@uni-trier.de
)