Projections of Vector Addition System Reachability Sets are Semilinear

Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr. Projections of Vector Addition System Reachability Sets are Semilinear. Theoretical Computer Science, 64(3):343-350, 1989.

Abstract

Abstract is missing.