1.Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems

作　　者：Yoshiharu Kojima ;Masahiko Sakai ;Naoki Nishida 等

出　　处：Information and Media Technologies. 2009 ;4(4):802-814.doi:10.11185/imt.4.802

出版社：Information and Media Technologies Editorial Board

文章 ID：103885676

文章详细全文下载
2.Argument Filterings and Usable Rules in Higher-order Rewrite Systems

作　　者：Sho Suzuki ;Keiichirou Kusakari ;Frédéric Blanqui

出　　处：Information and Media Technologies. 2011 ;6(2):481-492.doi:10.11185/imt.6.481

出版社：Information and Media Technologies Editorial Board

文章 ID：103885868

文章详细全文下载
3.Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems

作　　者：Yoshiharu Kojima ;Masahiko Sakai ;Naoki Nishida 等

出　　处：Information and Media Technologies. 2011 ;6(4):1185-1208.doi:10.11185/imt.6.1185

出版社：Information and Media Technologies Editorial Board

文章 ID：103885937

文章详细全文下载
4.A Sound Type System for Typing Runtime Errors

作　　者：Akihisa Yamada ;Keiichirou Kusakari ;Toshiki Sakabe 等

出　　处：Information and Media Technologies. 2012 ;7(2):667-675.doi:10.11185/imt.7.667

出版社：Information and Media Technologies Editorial Board

文章 ID：103886017

文章详细全文下载
5.AC Dependency Pairs Revisited

作　　者：Akihisa Yamada ;Christian Sternagel ;Ren{\'e} Thiemann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:8:1-8:16.doi:10.4230/LIPIcs.CSL.2016.8

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

文章 ID：186847925

文章详细全文下载

	信息与知识传播	4篇
	计算技术、计算机技术	1篇

	日文	4篇
	英文	1篇

	日本	4篇
	德国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Keiichirou Kusakari")))) )) ) )"

	Keiichirou Kusakari	5篇
	Masahiko Sakai	3篇
	Naoki Nishida	3篇
	Toshiki Sakabe	3篇
	Akihisa Yamada	2篇

	Yoshiharu Kojima	2篇
	Christian Sternagel	1篇
	Frédéric Blanqui	1篇
	Ren{\'e} Thiemann	1篇
	Sho Suzuki	1篇

	Information and Media Technologies	4篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2016	1篇
	2012	1篇
	2011	2篇
	2009	1篇