Ramsey Quantifiers in Linear Arithmetics

Bergsträßer, 1; Ganardi, Moses; Lin, Anthony W.; Zetzsche, Georg

doi:10.1145/3632843

アイテム詳細

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

一時保存へ追加

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

公開

学術論文

Ramsey Quantifiers in Linear Arithmetics

MPS-Authors

/persons/resource/persons266088

Ganardi, Moses
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

https://doi.org/10.5281/zenodo.8422415
(付録資料)

Fulltext (restricted access)

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

フルテキスト (公開)

3632843.pdf
(出版社版), 444KB

付随資料 (公開)

There is no public supplementary material available

引用

Bergsträßer, 1., Ganardi, M., Lin, A. W., & Zetzsche, G. (2024). Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages, 8(POPL):, pp. 1-32. doi:10.1145/3632843.

引用: https://hdl.handle.net/21.11116/0000-000E-377F-7

要旨

要旨はありません