1.Streett Automata Model Checking of Higher-Order Recursion Schemes

作　　者：Ryota Suzuki ;Koichi Fujima ;Naoki Kobayashi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:32:1-32:18.doi:10.4230/LIPIcs.FSCD.2017.32

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

文章 ID：200735141

文章详细全文下载
2.A Cyclic Proof System for HFL_â".

作　　者：Mayuko Kori ;Takeshi Tsukada ;Naoki Kobayashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:29:1-29:22.doi:10.4230/LIPIcs.CSL.2021.29

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

文章 ID：258514191

文章详细全文下载
3.A Probabilistic Higher-Order Fixpoint Logic

作　　者：Yo Mitani ;Naoki Kobayashi ;Takeshi Tsukada

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

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

文章 ID：255823196

文章详细全文下载
4.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

文章详细全文下载
5.A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC

作　　者：Yo Mitani ;Naoki Kobayashi ;Takeshi Tsukada

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-36.doi:10.46298/lmcs-17(4:15)2021

出版社：Technical University of Braunschweig

文章 ID：1038046907

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Mayuko Kori	1篇
	Ryoma Sin'ya	1篇
	Ryota Suzuki	1篇
	Yoshiki Nakamura	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Takeshi Tsukada")))) )) ) )"

	Naoki Kobayashi	5篇
	Takeshi Tsukada	5篇
	Yo Mitani	2篇
	Kazuyuki Asada	1篇
	Koichi Fujima	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Logical Methods in Computer Science	1篇

	2021	2篇
	2020	2篇
	2017	1篇