Contents of Fundamenta Informaticae Volume 54.

Number 1, January 2003
Number 2-3, February 2003
Number 4, February-March 2003

Contents of Volume 54, Number 1, January 2003

Click on title for abstract

On Decomposition for Incomplete Data
Rafał Latkowski 

Constructing Decision Procedures in Equational Clausal Logic
Nicolas Peltier 

Rough Mereology: A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory
Lech Polkowski 

LTF-C: Architecture, Training Algorithm and Applications of New Neural Classifier
Marcin Wojnarski 

Contents of Volume 54, Number 2-3, February 2003

Click on title for abstract

Exercises in Style (Alpha Specifications)
Uri Abraham and Tamar Pinhas 

A Decidable Notion of Timed Non-Interference
Roberto Barbuti and Luca Tesei 

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Amin Coja-Oghlan and Mark-Oliver Stehr 

Proving Nets Correct via Cause-Effect Structures (An Experiment)
Ludwik Czaja 1

Some Considerations on Higher-Order Petri Nets
Berndt Farwer Farwer, Manfred Kudlek and Kundan Misra 

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Nicoletta De Francesco, Antonella Santone and Luca Tesei 

Undecidability of a Multi-Agent Logic
Magdalena Kacprzak 

Concurrency in Mobile Object Net Systems
Michael Köhler and Heiko Rölke 

Dynamic Hierarchical Machines
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron and Simone Tini 

Distributed Verification with LoLA
Karsten Schmidt 

Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments
Andrzej Skowron, Jarosław Stepaniuk and James F. Peters 263-277

Towards Ambitious Approximation Algorithms in Stubborn Set Optimization
Kimmo Varpaaniemi 

|Contents of Volume 54, Number 4, February-March 2003

Click on title for abstract

Asynchronous Box Calculus
Raymond Devillers, Hanna Klaudel, Maciej Koutny and Franck Pommereau 

Classification of Infinite Information Systems Depending on Complexity of Decision Trees and Decision Rule Systems
Mikhail Ju. Moshkov 

Descriptional independence and the formal definition of sequential control structure
Tomasz Terlikowski 

Applying Rough Set Theory to Multi Stage Medical Diagnosing
Alicja Wakulicz-Deja and Piotr Paszek