Fundamenta Informaticae, Volume 53

Volume 53, Number 1, 2002

• Stéphane Demri, Ulrike Sattler:
  Automata-Theoretic Decision Procedures for Information Logics. 1-22
  Electronic Edition (link) BibTeX
• George Georgescu, Andrei Popescu:
  Concept lattices and similarity in non-commutative fuzzy logic. 23-54
  Electronic Edition (link) BibTeX
• Kees Middelburg:
  Process Algebra with Nonstandard Timing. 55-77
  Electronic Edition (link) BibTeX
• Xishun Zhao, Paolo Liberatore:
  Complexity of the Unique Extension Problem in Default Logic. 79-104
  Electronic Edition (link) BibTeX

Volume 53, Number 2, 2002

• Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine:
  On message deliverability and non-uniform receptivity. 105-129
  Electronic Edition (link) BibTeX
• Min-Shiang Hwang, Cheng-Chi Lee, Shin-Jia Hwang:
  Cryptanalysis of the Hwang-Shi Proxy Signature Scheme. 131-134
  Electronic Edition (link) BibTeX
• Jouni Järvinen:
  On the Structure of Rough Approximations. 135-153
  Electronic Edition (link) BibTeX
• Herman Midelfart, Henryk Jan Komorowski, Kristin Nørsett, Fekadu Yadetie, Arne K. Sandvik, Astrid Lægreid:
  Learning Rough Set Classifiers from Gene Expressions and Clinical Data. 155-183
  Electronic Edition (link) BibTeX
• Ferucio Laurentiu Tiplea, Erkki Mäkinen, Dragos Trinca, Costel Enea:
  Characterization Results for Time-Varying Codes. 185-198
  Electronic Edition (link) BibTeX

Volume 53, Numbers 3-4, 2002

• Isto Aho:
  New polynomial-time instances to various knapsack-type problems. 199-228
  Electronic Edition (link) BibTeX
• Yun Bai, Vijay Varadharajan:
  Object Oriented Database with Authorization Policies. 229-250
  Electronic Edition (link) BibTeX
• Salem Benferhat, Didier Dubois, Sylvain Lagrue, Odile Papini:
  Making revision reversible: an approach based on polynomials. 251-280
  Electronic Edition (link) BibTeX
• Stefan Haar:
  Probabilistic Cluster Unfoldings. 281-314
  Electronic Edition (link) BibTeX
• Juha Honkala:
  A new class of algebraic series having a decidable equivalence problem. 315-320
  Electronic Edition (link) BibTeX
• A. Mani:
  Rough Equalities From Posets and Rough Difference Orders. 321-333
  Electronic Edition (link) BibTeX
• Lech Polkowski, Boleslaw Araszkiewicz:
  A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data . 335-343
  Electronic Edition (link) BibTeX
• Krzysztof Slowinski, Jerzy Stefanowski, Dariusz Siwinski:
  Application of Rule Induction and Rough Sets to Verification of Magnetic Resonance Diagnosis. 345-363
  Electronic Edition (link) BibTeX
• Dominik Slezak:
  Approximate Entropy Reducts. 365-390
  Electronic Edition (link) BibTeX
• Tomasz Terlikowski:
  A logical approach to control. The concept of Inner Implication. 391-397
  Electronic Edition (link) BibTeX