Polynomial Invariants for Affine Programs

Hrushovski, Ehud; Ouaknine, Joël; Pouly, Amaury; Worrell, James

doi:10.1145/3209108.3209142

アイテム詳細

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

一時保存へ追加

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

公開

会議論文

Polynomial Invariants for Affine Programs

MPS-Authors

/persons/resource/persons217847

Ouaknine, Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons215326

Pouly, Amaury
Group J. Ouaknine, 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.

フルテキスト (公開)

1802.01810.pdf
(プレプリント), 264KB

付随資料 (公開)

There is no public supplementary material available

引用

Hrushovski, E., Ouaknine, J., Pouly, A., & Worrell, J. (2018). Polynomial Invariants for Affine Programs. In LICS'18 (pp. 530-539). New York, NY: ACM. doi:10.1145/3209108.3209142.

引用: https://hdl.handle.net/21.11116/0000-0003-21F8-0

要旨

要旨はありません