1.Program Transformation by Templates: A Rewriting Framework

作　　者：Yuki Chiba ;Takahito Aoto ;Yoshihito Toyama

出　　处：Information and Media Technologies. 2007 ;2(1):53-67.doi:10.11185/imt.2.53

出版社：Information and Media Technologies Editorial Board

文章 ID：103885397

文章详细全文下载

2.Automatic Construction of Program Transformation Templates

作　　者：Yuki Chiba ;Takahito Aoto ;Yoshihito Toyama

出　　处：Information and Media Technologies. 2008 ;3(2):211-224.doi:10.11185/imt.3.211

出版社：Information and Media Technologies Editorial Board

文章 ID：103885522

文章详细全文下载

3.Improving Rewriting Induction Approach for Proving Ground Confluence

作　　者：Takahito Aoto ;Yoshihito Toyama ;Yuta Kimura

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

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

文章 ID：200735116

文章详细全文下载

4.A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

作　　者：Takahito Aoto ;Yoshihito Toyama

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

出版社：Technical University of Braunschweig

文章 ID：264691954

文章详细全文下载

5.A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

作　　者：Takahito Aoto ;Yoshihito Toyama

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:91-106.doi:10.4230/LIPIcs.RTA.2011.91

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

文章 ID：186845914

文章详细全文下载

6.Confluence of Orthogonal Nominal Rewriting Systems Revisited

作　　者：Takaki Suzuki ;Kentaro Kikuchi ;Takahito Aoto 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:301-317.doi:10.4230/LIPIcs.RTA.2015.301

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

文章 ID：186846896

文章详细全文下载

7.Automatic Construction of Program Transformation Templates

作　　者：Yuki Chiba ;Takahito Aoto ;Yoshihito Toyama

出　　处：IPSJ Digital Courier. 2008 ;4:44-57.doi:10.2197/ipsjdc.4.44

出版社：Information Processing Society of Japan

文章 ID：194150933

文章详细

8.Program Transformation by Templates: A Rewriting Framework

作　　者：Yuki Chiba ;Takahito Aoto ;Yoshihito Toyama

出　　处：IPSJ Digital Courier. 2006 ;2:620-634.doi:10.2197/ipsjdc.2.620

出版社：Information Processing Society of Japan

文章 ID：194262876

文章详细全文下载

9.Persistency of Confluence

作　　者：Takahito Aoto ;Yoshihito Toyama

出　　处：Journal of Universal Computer Science. 1997 ;3(11):1134-1147.

出版社：Graz University of Technology and Know-Center

文章 ID：186875906

文章详细全文下载

10.Normalisation by Random Descent

作　　者：Vincent van Oostrom ;Yoshihito Toyama

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:32:1-32:18.doi:10.4230/LIPIcs.FSCD.2016.32

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

文章 ID：186847464

文章详细全文下载

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

	计算技术、计算机技术	7篇
	信息与知识传播	2篇
	信息处理（信息加工）	2篇

	英文	7篇
	日文	4篇

	德国	6篇
	日本	4篇
	奥地利	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Yoshihito Toyama")))) )) ) )"

	Yoshihito Toyama	11篇
	Takahito Aoto	10篇
	Yuki Chiba	4篇
	Kentaro Kikuchi	1篇
	Takaki Suzuki	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	IPSJ Digital Courier	2篇
	Information and Media Technologies	2篇
	Journal of Universal Computer Science	1篇
	Logical Methods in Computer Science	1篇