20 citations · 59 across the 20 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 2 cited
Unboundedness problems for languages of vector addition systems
Wojciech Czerwiński, Piotr Hofman, Georg Zetzsche
A vector addition system (VAS) with an initial and a final marking and transition labels induces a language. In part because the reachability problem in VAS remains far from being…
cs.LO2018
Linear Equations with Ordered Data
Piotr Hofman, Sławomir Lasota
Following a recently considered generalization of linear equations to unordered data vectors, we perform a further generalization to ordered data vectors. These generalized equatio…