1.Pumping Lemma for Higher-order Languages

作　　者：Kazuyuki Asada ;Naoki Kobayashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:97:1-97:14.doi:10.4230/LIPIcs.ICALP.2017.97

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372051

文章详细全文下载
2.On Average-Case Hardness of Higher-Order Model Checking

作　　者：Yoshiki Nakamura ;Kazuyuki Asada ;Naoki Kobayashi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:21:1-21:23.doi:10.4230/LIPIcs.FSCD.2020.21

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823198

文章详细全文下载
3.Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars

作　　者：Kazuyuki Asada ;Naoki Kobayashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:22:1-22:22.doi:10.4230/LIPIcs.FSCD.2020.22

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823199

文章详细全文下载
4.On Word and Frontier Languages of Unsafe Higher-Order Grammars

作　　者：Kazuyuki Asada ;Naoki Kobayashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:111:1-111:13.doi:10.4230/LIPIcs.ICALP.2016.111

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847708

文章详细全文下载
5.Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered

作　　者：Kazuyuki Asada ;Naoki Kobayashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-15.doi:10.4230/LIPIcs.FSTTCS.2018.14

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213163

文章详细全文下载

	Kazuyuki Asada	5篇
	Naoki Kobayashi	5篇
	Ryoma Sin'ya	1篇
	Takeshi Tsukada	1篇
	Yoshiki Nakamura	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Kazuyuki Asada")))) )) ) )"

	2020	2篇
	2018	1篇
	2017	1篇
	2016	1篇