default search action
Fundamenta Informaticae, Volume 54
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
- 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
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
Asynchronous Box Calculus. 295-344 - Mikhail Ju. Moshkov:
Classification of Infinite Information Systems Depending on Complexity of Decision Trees and Decision Rule Systems. 345-368 - Tomasz Terlikowski:
Descriptional independence and the formal definition of sequential control structure. 369-385 - Alicja Wakulicz-Deja, Piotr Paszek:
Applying Rough Set Theory to Multi Stage Medical Diagnosing. 387-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: