Fundamenta Informaticae, Volume 27

Volume 27, Number 1, July 1996

• Eric Sopena:
  Expanding Graph Relabeling Systems have the Power of Recursive Enumerability. 1-25
  
• Salvatore La Torre, Margherita Napoli, Domenico Parente:
  Parallel Word Substitution. 27-36
  
• Jan A. Bergstra, Gheorghe Stefanescu:
  Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. 37-56
  
• Churn-Jung Liau:
  An Algebraic Formalization of the Relationship between Evidential Structures and Data Tables. 57-76
  
• Leo Marcus:
  Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification. 77-100
  

Volume 27, Number 2/3, August 1996

• Zdzislaw Pawlak:
  Rough Sets, Rough Relations and Rough Functions. 103-108
  
• Edward Bryniarski:
  Formal Conception of Rough Sets. 109-136
  
• Tsau Young Lin, Qing Liu:
  First-Order Rough Logic I: Approximate Reasoning via Rough Sets. 137-153
  
• Jack David Katzberg, Wojciech Ziarko:
  Variable Precision Extension of Rough Sets. 155-168
  
• Robert E. Kent:
  Rough Concept Analysis: A Synthesis of Rough Sets and Formal Concept Analysis. 169-181
  
• Marzena Kryszkiewicz, Henryk Rybinski:
  Computation of Reducts of Composed Information Systems. 183-195
  
• Mikhail Moshkov:
  Some Bounds on Minimal Decision Tree Depth. 197-203
  
• Piero Pagliani:
  Rough Sets and Nelson Algebras. 205-219
  
• Janusz Romykala, Erik de Haas:
  A Note on Categories of Information Systems. 221-227
  
• Roman Slowinski, Jerzy Stefanowski:
  Rough-Set Reasoning about Uncertain Data. 229-243
  
• Andrzej Skowron, Jaroslaw Stepaniuk:
  Tolerance Approximation Spaces. 245-253
  
• Andrzej Skowron, Lech Polkowski:
  Analytical Morphology: Mathematical Morphology of Decision Tables. 255-271
  
• Shusaku Tsumoto, Hiroshi Tanaka:
  A Common Algebraic Framework of Empirical Learning Methods Based on Rough Sets and Matroid Theory. 273-288
  
• Y. Y. Yao, Xining Li:
  Comparison of Rough-Set and Interval-Set Models for Uncertain Reasoning. 289-298
  
• Jan M. Zytkow:
  Automated Discovery of Empirical Laws. 299-318
  

Volume 27, Number 4, September 1996

• Mark Levene, George Loizou:
  Categorisation of Computable Data-Base Queries. 319-348
  
• Flavio Corradini, Rocco De Nicola:
  On Four Partial Ordering Semantics for a Process Calculus. 349-383
  
• Jorge Lobo, Carlos Uzcátegui:
  Abductive Change Operators. 385-411
  
• Erkki Mäkinen:
  (0,1)-Totality is Undecidable for Arbitrary Context-Free Grammars. 413-415
  

Last update Fri May 24 20:20:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page