Volume 6, Number 1, January 2000
: Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem.
: The Automorphism Group of a Hypercube.
: Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV.
: A Canonical Model Construction for Substructural Logics.
: Computational Complementarity and Shift Spaces.
: Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures.
Volume 6, Number 2, February 2000
Volume 6, Number 3, March 2000
: Coffein: Construction and Presentation of Design Knowledge.
Dieter W. Fellner
, Marco Zens
: Electronic Submission, Managing and Approval of Grant Proposals at the German Research Foundation based on Standard Internet and Office Tools.
: Perceptions about Internet Use by Teaching Faculty at Small Christian Colleges and Universities.
Volume 6, Number 4, April 2000
Volume 6, Number 5, May 2000
Volume 6, Number 6, June 2000
Volume 6, Number 7, July 2000
Volume 6, Number 8, August 2000
: Efficient Identification of Classes of P-Time Functions.
J. Gerard Wolff
: Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search.
Volume 6, Number 9, September 2000
: Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving.
Volume 6, Number 10, October 2000
Multithreaded Processors and Chip-Multiprocessors
Volume 6, Number 11, November 2000
Formal Specifications of Computer-Based Systems
: J.UCS Special Issue on Formal Specifications of Computer-Based Systems.
: Nondeterministic Admissible Interference.
: An Outline of PVS Semantics for UML Statecharts.
Volume 6, Number 12, December 2000