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
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
Volume 42, Number 3-4, April-May 2000
Stéphane Demri:
The Nondeterministic Information Logic NIL is PSPACE-complete.
211-234
data released under the ODC-BY 1.0 license
