Reachability in Continuous Pushdown VASS

Balasubramanian, A. R.; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

doi:10.1145/3633279

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

Reachability in Continuous Pushdown VASS

MPS-Authors

Balasubramanian, A. R.
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons266086

Thinniyam, Ramanathan S.
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

3633279.pdf
(出版社版), 368KB

付随資料 (公開)

There is no public supplementary material available

引用

Balasubramanian, A. R., Majumdar, R., Thinniyam, R. S., & Zetzsche, G. (2024). Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages, 8(POPL):, pp. 90-114. doi:10.1145/3633279.

引用: https://hdl.handle.net/21.11116/0000-000E-378B-8

要旨

要旨はありません