Volume 42,
Number 1,
March 2000
Volume 42,
Number 2,
April 2000
Volume 42,
Number 3-4,
April-May 2000
- Stéphane Demri:
The Nondeterministic Information Logic NIL is PSPACE-complete.
211-234
- Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów:
Reliable Minimum Finding Comparator Networks.
235-249
- Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz:
Towards Automated Consistency Checking of Module Interface Specifications.
251-278
- Masahiro Inuiguchi, Tetsuzo Tanino:
Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets.
279-302
- Michael Kaminski, Guy Rey:
First-order Non-monotonic Modal Logics.
303-333
- Markus Kohn, Hartmut Schmeck:
Formal Asynchronous Systems Modelling.
335-389
- Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland, Bensalah Tahar:
A New Approach to Preferential Structures.
391-410
Copyright © Wed Nov 25 19:08:35 2009
by Michael Ley (ley@uni-trier.de)