Pages that link to "Item:Q2330602"
From MaRDI portal
The following pages link to Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets (Q2330602):
Displaying 1 item.
The following pages link to Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets (Q2330602):
Displaying 1 item.