|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/15738
|
| タイトル: | Confluence Competition 2018 |
| 著者: | Aoto, Takahito
Hamana, Makoto
Hirokawa, Nao
Middeldorp, Aart
Nagele, Julian
Nishida, Naoki
Shintani, Kiraku
Zankl, Harald |
| キーワード: | Confluence
competition
rewrite systems |
| 発行日: | 2018 |
| 出版者: | Schloss Dagstuhl |
| 誌名: | 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) |
| 巻: | 108 |
| 開始ページ: | 32:1 |
| 終了ページ: | 32:5 |
| DOI: | 10.4230/LIPIcs.FSCD.2018.32 |
| 抄録: | We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically. |
| Rights: | © Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl; licensed under Creative Commons License CC-BY. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Editor: Hélène Kirchner; Article No. 32; pp. 32:1–32:5 |
| URI: | http://hdl.handle.net/10119/15738 |
| 資料タイプ: | publisher |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 24375.pdf | | 1038Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
