A5.D — An Approach to Regular Separability in Vector Addition Systems
Why the open web links it
Presents a new approach to determining regular separability in vector addition systems.
Linked by 2 independent sites, 2 of them widely read in the 2026-10 crawl of the open web, including mpg.de, mpi-sws.org.