Unboundedness Problems for Machines with Reversal-Bounded Counters

Baumann, Pascal; D’Alessandro, Flavio; Ganardi, Moses; Ibarra, Oscar; McQuillan, Ian; Schütze, Lia; Zetzsche, Georg

doi:10.1007/978-3-031-30829-1_12

アイテム詳細

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

一時保存へ追加

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

公開

会議論文

Unboundedness Problems for Machines with Reversal-Bounded Counters

MPS-Authors

/persons/resource/persons274580

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

/persons/resource/persons266088

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

/persons/resource/persons276235

Schütze, Lia
Group G. Zetzsche, 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.

フルテキスト (公開)

978-3-031-30829-1_12.pdf
(出版社版), 577KB

付随資料 (公開)

There is no public supplementary material available

引用

Baumann, P., D’Alessandro, F., Ganardi, M., Ibarra, O., McQuillan, I., Schütze, L., & Zetzsche, G. (2023). Unboundedness Problems for Machines with Reversal-Bounded Counters. In O., Kupferman, & P., Sobocinski (Eds.), Foundations of Software Science and Computation Structures (pp. 240-264). Berlin: Springer. doi:10.1007/978-3-031-30829-1_12.

引用: https://hdl.handle.net/21.11116/0000-000D-0DC6-6

要旨

要旨はありません