Contents of Fundamenta Informaticae Volume 42.


Number 1, March 2000
Number 2, April 2000
Number 3-4, May 2000

Contents of Volume 42, Number 1, March 2000

Click on title for abstract


A Proof System for Dependencies for Information Relations
Wendy MacCaull

Constructing the Least Models for Positive Modal Logic Programs
Linh Anh Nguyen

Models For Dependable Computation with Multiple Inputs and Some Hardness Results
Yongge Wang, Yvo Desmedt and Mike Burmester

An Algebra of Data Flows
Józef Winkowski


Contents of Volume 42, Number 2, April 2000

Click on title for abstract


Formalizing Context in Intuitionistic Type Theory  
Pascal Boldini

A Method for Hierarchical Description of Images Using Multiscale Analysis  
Marcin Inkielman

Representation of Irrelevance Relations by Annotated Graphs  
Azaria Paz, Robert Y. Geva and Milan Studený

Succinctness Gap between Monadic Logic and Duration Calculus 
Alexander Rabinovich


Contents of Volume 42, Number 3-4, April-May 2000

Click on title for abstract


The Nondeterministic Information Logic NIL is PSPACE-complete 
Stéphane Demri

Reliable Minimum Finding Comparator Networks 
Piotr Denejko, Krzysztof Diks, Andrzej Pelc and Marek Piotrów

Towards Automated Consistency Checking of Module Interface Specifications 
Marcin Engel, Artur Kret and Janina Mincer-Daszkiewicz

Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets
Masahiro Inuiguchi, and Tetsuzo Tanino

First-order Non-monotonic Modal Logics 
Michael Kaminski and Guy Rey

Formal Asynchronous Systems Modelling 
Markus Kohn and Hartmut Schmeck

A New Approach to Preferential Structures 
Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland and Bensalah Tahar