Volume 54,
Number 1,
2003
- Rafal Latkowski:
On Decomposition for Incomplete Data.
1-16
- Nicolas Peltier:
Constructing Decision Procedures in Equational Clausal Logic.
17-65
- Lech Polkowski:
Rough Mereology: A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory.
67-88
- Marcin Wojnarski:
LTF-C: Architecture, Training Algorithm and Applications of New Neural Classifier.
89-105
Volume 54,
Numbers 2-3,
2003
Special Issue
- Uri Abraham, Tamar Pinhas:
Exercises in Style (Alpha Specifications).
107-135
- Roberto Barbuti, Luca Tesei:
A Decidable Notion of Timed Non-Interference.
137-150
- Amin Coja-Oghlan, Mark-Oliver Stehr:
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy.
151-164
- Ludwik Czaja:
Proving Nets Correct via Cause-Effect Structures (An Experiment).
165-183
- Berndt Farwer, Manfred Kudlek, Kundan Misra:
Some Considerations on Higher-Order Petri Nets.
185-193
- Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
195-211
- Magdalena Kacprzak:
Undecidability of a Multi-Agent Logic.
213-220
- Michael Köhler, Heiko Rölke:
Concurrency in Mobile Object Net Systems.
221-235
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Dynamic Hierarchical Machines.
237-252
- Karsten Schmidt:
Distributed Verification with LoLA.
253-262
- Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters:
Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments.
263-277
- Kimmo Varpaaniemi:
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization.
279-294
Volume 54,
Number 4,
2003
Copyright © Mon Nov 2 21:36:29 2009
by Michael Ley (ley@uni-trier.de)