# Vector addition system

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- STACS
- 2017

Given two families of sets F and G, the F-separability problem for G asks whether for two given sets U, V âˆˆ G there exists a setâ€¦Â (More)

Is this relevant?

2015

2015

- 30th Annual ACM/IEEE Symposium on Logic inâ€¦
- 2015

More than 30 years after their inception, the decidability proofs for reach ability in vector addition systems (VAS) still retainâ€¦Â (More)

Is this relevant?

2014

2014

- MFCS
- 2014

Alternating vector addition systems are obtained by equipping vector addition systems with states (VASS) with â€˜forkâ€™ rules, andâ€¦Â (More)

Is this relevant?

2013

2013

- 28th Annual ACM/IEEE Symposium on Logic inâ€¦
- 2013

The reach ability problem for Vector Addition Systems (VAS) is a central problem of net theory. The problem is known to beâ€¦Â (More)

Is this relevant?

2012

2012

- Turing-100
- 2012

The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known toâ€¦Â (More)

Is this relevant?

2011

2011

- CONCUR
- 2011

The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidableâ€¦Â (More)

Is this relevant?

2011

2011

- MFCS
- 2011

A large number of properties of a vector addition systemâ€”for instance coverability, boundedness, or regularityâ€”can be decidedâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- Inf. Process. Lett.
- 2010

Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained byâ€¦Â (More)

Is this relevant?

2005

2005

- 2005

1 Faculty of Informatics, Vienna University of Technology Favoritenstr. 9â€“11, Aâ€“1040 Vienna, Austria E-mail: rudi@emcc.at 2â€¦Â (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- STOC
- 1982

A convincing proof of the decidability of reachability in vector addition systems is presented. No drastically new ideas beyondâ€¦Â (More)

Is this relevant?