On Repetitive Right Application of B-Terms
DOI
オープンアクセス
-
- 中野 圭介
- 東北大学
書誌事項
- タイトル
- On Repetitive Right Application of B-Terms
- 著者
- Mirai Ikebuchi, Keisuke Nakano
収録刊行物
-
- International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
-
International Conference on Formal Structures for Computation and Deduction (FSCD 2018) 3 2018
