Sylvain Schmitz
- Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
2019/03/20 by Jérôme Leroux, Sylvain Schmitz · 63 citations
Computer Science · Mathematics · #Ackermann function #Combinatorics #Computer science #Dimension (graph theory) #Discrete mathematics #Formal Methods in Verification #Logic, programming, and type systems #Mathematics #Reachability #Security and Verification in Computing #Upper and lower bounds #cs.LO