Fundamenta Informaticae, Volume 42

Volume 42, Number 1, March 2000

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

Volume 42, Number 2, April 2000

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

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