date: 2024-06-24T14:45:37Z pdf:PDFVersion: 1.5 pdf:docinfo:title: Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities xmp:CreatorTool: LaTeX with hyperref access_permission:can_print_degraded: true subject: LIPIcs, Vol.297, ICALP 2024 pdfa:PDFVersion: A-3b language: en dc:format: application/pdf; version=1.5 pdf:docinfo:creator_tool: LaTeX with hyperref access_permission:fill_in_form: true pdf:encrypted: false dc:title: Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities modified: 2024-06-24T14:45:37Z cp:subject: LIPIcs, Vol.297, ICALP 2024 pdf:docinfo:subject: LIPIcs, Vol.297, ICALP 2024 PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) kpathsea version 6.4.0 trapped: False meta:creation-date: 2024-06-24T14:45:37Z created: 2024-06-24T14:45:37Z access_permission:extract_for_accessibility: true Creation-Date: 2024-06-24T14:45:37Z pdfaid:part: 3 producer: LaTeX with lipics-v2021.cls pdf:docinfo:producer: LaTeX with lipics-v2021.cls pdf:unmappedUnicodeCharsPerPage: 4 dc:description: LIPIcs, Vol.297, ICALP 2024 access_permission:modify_annotations: true description: LIPIcs, Vol.297, ICALP 2024 dcterms:created: 2024-06-24T14:45:37Z Last-Modified: 2024-06-24T14:45:37Z dcterms:modified: 2024-06-24T14:45:37Z title: Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities xmpMM:DocumentID: uuid:dc9bbb62-bbbb-46c9-bb13-3eae41826267 Last-Save-Date: 2024-06-24T14:45:37Z pdf:docinfo:modified: 2024-06-24T14:45:37Z meta:save-date: 2024-06-24T14:45:37Z pdf:docinfo:custom:PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) kpathsea version 6.4.0 Content-Type: application/pdf X-Parsed-By: org.apache.tika.parser.DefaultParser pdfaid:conformance: B dc:language: en access_permission:assemble_document: true xmpTPg:NPages: 19 pdf:charsPerPage: 2890 access_permission:extract_content: true access_permission:can_print: true pdf:docinfo:trapped: False access_permission:can_modify: true pdf:docinfo:created: 2024-06-24T14:45:37Z