Volume 266, Number 1-2, September 2001
: On the asymptotic behaviour of primitive recursive algorithms.
: Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning.
: Proof-term synthesis on dependent-type systems via explicit substitutions.
, Yoshinori Kurose
: A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.
: Basic process algebra with deadlocking states.
: On the longest perpetual reductions in orthogonal expression reduction systems.
: What is the coalgebraic analogue of Birkhoff's variety theorem?
: Constant time parallel computations in lambda-calculus.
: Corrigendum to "On functions preserving levels of approximation: a refined model construction for various lambda calculi".