Volume 27, Number 1, July 1996
: Expanding Graph Relabeling Systems have the Power of Recursive Enumerability.
: An Algebraic Formalization of the Relationship between Evidential Structures and Data Tables.
: Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification.
Volume 27, Number 2/3, August 1996
Robert E. Kent
: Rough Concept Analysis: A Synthesis of Rough Sets and Formal Concept Analysis.
Y. Y. Yao
, Xining Li
: Comparison of Rough-Set and Interval-Set Models for Uncertain Reasoning.
Volume 27, Number 4, September 1996
: (0,1)-Totality is Undecidable for Arbitrary Context-Free Grammars.