Number
1, January 2003Number 2-3,
February 2003 Number
4,
February-March 2003 Number
1, January 2003Number 2-3,
February 2003 Number
4,
February-March 2003 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
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
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