date: 2024-01-12T09:54:02Z
pdf:PDFVersion: 1.7
pdf:docinfo:title: Reachability in Continuous Pushdown VASS
xmp:CreatorTool: LaTeX with acmart 2023/11/05 v2.00 Typesetting articles for the Association for Computing Machinery and hyperref 2022-11-13 v7.00u Hypertext links for LaTeX; Conference Publishing Consulting
access_permission:can_print_degraded: true
subject: Proc. ACM Program. Lang. 2024.8:90-114
dc:format: application/pdf; version=1.7
pdf:docinfo:creator_tool: LaTeX with acmart 2023/11/05 v2.00 Typesetting articles for the Association for Computing Machinery and hyperref 2022-11-13 v7.00u Hypertext links for LaTeX; Conference Publishing Consulting
access_permission:fill_in_form: true
pdf:encrypted: false
dc:title: Reachability in Continuous Pushdown VASS
modified: 2024-01-12T09:54:02Z
cp:subject: Proc. ACM Program. Lang. 2024.8:90-114
pdf:docinfo:subject: Proc. ACM Program. Lang. 2024.8:90-114
pdf:docinfo:creator: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche
PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) kpathsea version 6.3.4
meta:author: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche
meta:creation-date: 2023-12-13T14:33:31Z
created: 2023-12-13T14:33:31Z
access_permission:extract_for_accessibility: true
Creation-Date: 2023-12-13T14:33:31Z
Author: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche
producer: pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) kpathsea version 6.3.4; ConfPub - popl24main-p18-p rev-c17b60bde0-73191 p90; modified using iText 4.2.0 by 1T3XT
pdf:docinfo:producer: pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) kpathsea version 6.3.4; ConfPub - popl24main-p18-p rev-c17b60bde0-73191 p90; modified using iText 4.2.0 by 1T3XT
pdf:unmappedUnicodeCharsPerPage: 5
Keywords: Vector addition systems; Pushdown automata; Reachability; Decidability; Complexity
access_permission:modify_annotations: true
dc:creator: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche
dcterms:created: 2023-12-13T14:33:31Z
Last-Modified: 2024-01-12T09:54:02Z
dcterms:modified: 2024-01-12T09:54:02Z
title: Reachability in Continuous Pushdown VASS
Last-Save-Date: 2024-01-12T09:54:02Z
pdf:docinfo:keywords: Vector addition systems; Pushdown automata; Reachability; Decidability; Complexity
pdf:docinfo:modified: 2024-01-12T09:54:02Z
meta:save-date: 2024-01-12T09:54:02Z
pdf:docinfo:custom:PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) kpathsea version 6.3.4
Content-Type: application/pdf
X-Parsed-By: org.apache.tika.parser.DefaultParser
creator: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche
dc:subject: Vector addition systems; Pushdown automata; Reachability; Decidability; Complexity
access_permission:assemble_document: true
xmpTPg:NPages: 25
pdf:charsPerPage: 2661
access_permission:extract_content: true
access_permission:can_print: true
meta:keyword: Vector addition systems; Pushdown automata; Reachability; Decidability; Complexity
access_permission:can_modify: true
pdf:docinfo:created: 2023-12-13T14:33:31Z