Volume 206, Numbers 1-2, 6 October 1998
: A Semantics for Modular General Logic Programs.
, Harro Wimmel
: A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets.
: Infiniteness of Proof(alpha) is Polynomial-Space Complete.
: Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''.