2 datasets found

We define Vector Addition with Sates and Split/Join Transitions, a new model that extends VASS and BVASS. We define a suitable notion of covering graph for the model,...

International audience