2018年
Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered.
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India
- ,
- 開始ページ
- 14:1-14:15
- 終了ページ
- 出版者・発行元
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- リンク情報
- ID情報
-
- DBLP ID : conf/fsttcs/Asada018