Volume 275, Number 1-2, March 2002
: Analysis issues in Petri nets with inhibitor arcs.
Iain A. Stewart
: Program schemes, arrays, Lindström quantifiers and zero-one laws.
Maria I. Sessa
: Approximate reasoning by similarity-based SLD resolution.
Sergei G. Vorobyov
: forall-Exists5-equational theory of context unification is undecidable.
: A coinductive completeness proof for the equivalence of recursive types.
: Efficiency of asynchronous systems, read arcs, and the MUTEX-problem.