Vector addition system reachability problem, a short self-contained proof (Q5408552)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6282613
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Vector addition system reachability problem, a short self-contained proof |
scientific article; zbMATH DE number 6282613 |
Statements
Vector addition system reachability problem (English)
0 references
10 April 2014
0 references
Petri
0 references
Presburger
0 references
reachability
0 references
vector addition system
0 references
0.9962398409843444
0 references
0.9394814372062684
0 references
0.8613450527191162
0 references
0.8459927439689636
0 references
