@misc{https___doi.org_10.48550_arxiv.2410.13836,
    doi = {10.48550/ARXIV.2410.13836},
    url = {https://arxiv.org/abs/2410.13836},
    author = {Platzer, André and Qian, Long},
    keywords = {Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Logic (math.LO), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics, F.4.1; F.3.1; G.1.7; I.2.3, 03B70, 03D80, 03F03, 34C14, 34A38, 34C11, 65L70, 65G20},
    title = {Axiomatization of Compact Initial Value Problems: Open Properties},
    publisher = {arXiv},
    year = {2024},
    copyright = {arXiv.org perpetual, non-exclusive license},
    date-added = {2024-10-18 7:21:53 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2410.13836, doi = {10.48550/ARXIV.2410.13836}, url = {https://arxiv.org/abs/2410.13836}, author = {Platzer, André and Qian, Long}, keywords = {Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Logic (math.LO), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics, F.4.1; F.3.1; G.1.7; I.2.3, 03B70, 03D80, 03F03, 34C14, 34A38, 34C11, 65L70, 65G20}, title = {Axiomatization of Compact Initial Value Problems: Open Properties}, publisher = {arXiv}, year = {2024}, copyright = {arXiv.org perpetual, non-exclusive license}, date-added = {2024-10-18 7:21:53 +0100} }