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.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

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

文章详细全文下载
4.Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

作　　者：Naoki Nishida ;Masahiko Sakai ;Toshiki Sakabe

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:4)2012

出版社：Technical University of Braunschweig

文章 ID：264691980

文章详细全文下载
5.Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

作　　者：Naoki Nishida ;Masahiko Sakai ;Toshiki Sakabe

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:267-282.doi:10.4230/LIPIcs.RTA.2011.267

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

文章 ID：186845925

文章详细全文下载

	信息与知识传播	3篇
	计算技术、计算机技术	2篇

	日文	3篇
	英文	2篇

	日本	3篇
	德国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Toshiki Sakabe")))) )) ) )"

	Masahiko Sakai	5篇
	Naoki Nishida	5篇
	Toshiki Sakabe	5篇
	Keiichirou Kusakari	3篇
	Yoshiharu Kojima	2篇

	Information and Media Technologies	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

	2012	2篇
	2011	2篇
	2009	1篇