Fundamenta Informaticae, Volume 42

Volume 42, Number 1, March 2000

• Wendy MacCaull: A Proof System for Dependencies for Information Relations. 1-27
• Linh Anh Nguyen: Constructing the Least Models for Positive Modal Logic Programs. 29-60
• Yongge Wang, Yvo Desmedt, Mike Burmester: Models For Dependable Computation with Multiple Inputs and Some Hardness Results. 61-73
• Józef Winkowski: An Algebra of Data Flows. 75-104

Volume 42, Number 2, April 2000

• Pascal Boldini: Formalizing Context in Intuitionistic Type Theory. 105-127
• Marcin Inkielman: A Method for Hierarchical Description of Images Using Multiscale Analysis. 129-148
• Azaria Paz, Robert Y. Geva, Milan Studený: Representation of Irrelevance Relations by Annotated Graphs. 149-199
• Alexander Moshe Rabinovich: Succinctness Gap between Monadic Logic and Duration Calculus. 201-210

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