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 BibTeX
- Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów:
Reliable Minimum Finding Comparator Networks.
235-249 BibTeX
- Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz:
Towards Automated Consistency Checking of Module Interface Specifications.
251-278 BibTeX
- Masahiro Inuiguchi, Tetsuzo Tanino:
Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets.
279-302 BibTeX
- Michael Kaminski, Guy Rey:
First-order Non-monotonic Modal Logics.
303-333 BibTeX
- Markus Kohn, Hartmut Schmeck:
Formal Asynchronous Systems Modelling.
335-389 BibTeX
- Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland, Bensalah Tahar:
A New Approach to Preferential Structures.
391-410 BibTeX
Copyright © Sat May 16 23:59:24 2009
by Michael Ley (ley@uni-trier.de)