@ARTICLE{2025arXiv250412302F,
    author = {{Fu}, Yuxi and {Zheng}, Yangluo and {Yang}, Qizhe},
    title = {{Reachability in Geometrically $d$-Dimensional VASS}},
    journal = {arXiv e-prints},
    keywords = {Computational Complexity, Formal Languages and Automata Theory, Logic in Computer Science},
    year = {2025},
    month = {mar},
    eid = {arXiv:2504.12302},
    pages = {arXiv:2504.12302},
    doi = {10.48550/arxiv.2504.12302},
    archiveprefix = {arXiv},
    eprint = {2504.12302},
    primaryclass = {cs.CC},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250412302F},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-4-25 7:56:19 +0100}
}

@ARTICLE{2025arXiv250412302F, author = {{Fu}, Yuxi and {Zheng}, Yangluo and {Yang}, Qizhe}, title = {{Reachability in Geometrically $d$-Dimensional VASS}}, journal = {arXiv e-prints}, keywords = {Computational Complexity, Formal Languages and Automata Theory, Logic in Computer Science}, year = {2025}, month = {mar}, eid = {arXiv:2504.12302}, pages = {arXiv:2504.12302}, doi = {10.48550/arxiv.2504.12302}, archiveprefix = {arXiv}, eprint = {2504.12302}, primaryclass = {cs.CC}, adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250412302F}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2025-4-25 7:56:19 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge