| No. | Title | Author | Year |
|---|---|---|---|
| 1 | On Average-Case Hardness of Higher-Order Model Checking | Nakamura, Yoshiki et al. | 2020 |
| 2 | Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars | Asada, Kazuyuki et al. | 2020 |
| 3 | Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered | Asada, Kazuyuki et al. | 2018 |
| 4 | Pumping Lemma for Higher-order Languages | Asada, Kazuyuki et al. | 2017 |
| 5 | On Word and Frontier Languages of Unsafe Higher-Order Grammars | Asada, Kazuyuki et al. | 2016 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |