Volume 9, Number 1, January 2001
Roy L. Crole
: Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.
: Congruence Classes with Logic Variables.
: Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application.
Volume 9, Number 2, March 2001
: Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning.
Volume 9, Number 3, May 2001
Volume 9, Number 4, July 2001
: Semantics for Structurally Free Logics LC+.
, Sara Negri
: Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.
: On the decidability of the PVD class with equality.
Volume 9, Number 5, September 2001
: A Linear Meta-Interpreter for Reasoning About States and Actions.
Dimitar P. Guelev
: Interval-Related Interpolation in Interval Temporal Logics.
Ruy J. G. B. de Queiroz (Ed.):
7th Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 2000, Natal, RN, Brazil, August 15 - 16, 2000, Proceedings