Reachability in fixed VASS: expressiveness and lower bounds

From MaRDI portal

Publication:6629526

Jump to:navigation, search

DOI10.1007/978-3-031-57231-9_9MaRDI QIDQ6629526

Andrei Draghici, Andrew Ryzhikov, Christoph Haase

Publication date: 30 October 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

This page was built for publication: Reachability in fixed VASS: expressiveness and lower bounds

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6629526&oldid=40191104"