2018年7月
On Repetitive Right Application of B-Terms.
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK
- ,
- 開始ページ
- 18:1
- 終了ページ
- 18:15
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.4230/LIPIcs.FSCD.2018.18
- 出版者・発行元
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- リンク情報
- ID情報
-
- DOI : 10.4230/LIPIcs.FSCD.2018.18
- DBLP ID : conf/rta/IkebuchiN18