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.Soundness of Rewriting Induction Based on an Abstract Principle

作　　者：Takahito Aoto

出　　处：Information and Media Technologies. 2008 ;3(2):225-235.doi:10.11185/imt.3.225

出版社：Information and Media Technologies Editorial Board

文章 ID：103885523

文章详细全文下载

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

文章详细全文下载

5.A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems

作　　者：Masaomi Yamaguchi ;Takahito Aoto

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

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

文章 ID：255823188

文章详细全文下载

6.Confluence Competition 2018

作　　者：Takahito Aoto ;Makoto Hamana ;Nao Hirokawa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:32:1-32:5.doi:10.4230/LIPIcs.FSCD.2018.32

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

文章 ID：220014790

文章详细

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

文章详细全文下载

8.Sound Lemma Generation for Proving Inductive Validity of Equations

作　　者：Takahito Aoto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:13-24.doi:10.4230/LIPIcs.FSTTCS.2008.1737

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

文章 ID：186845522

文章详细全文下载

9.Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling

作　　者：Takahito Aoto

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:7-16.doi:10.4230/LIPIcs.RTA.2010.7

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

文章 ID：186845687

文章详细全文下载

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

文章详细全文下载

	有本地全文	14篇
	有全文链接	3篇

	2020	1篇
	2018	1篇
	2017	1篇
	2016	1篇
	2015	1篇

	2012	1篇
	2011	2篇
	2010	1篇
	2008	5篇
	2007	1篇
	2006	1篇
	1997	1篇

	Takahito Aoto	17篇
	Yoshihito Toyama	10篇
	Yuki Chiba	5篇
	Aart Middeldorp	1篇
	Harald Zankl	1篇

	Julian Nagele	1篇
	Kentaro Kikuchi	1篇
	Kiraku Shintani	1篇
	Makoto Hamana	1篇
	Masaomi Yamaguchi	1篇
	Nao Hirokawa	1篇
	Naoki Nishida	1篇
	Takaki Suzuki	1篇
	Toshiyuki Yamada	1篇
	Yuta Kimura	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Takahito Aoto")))) )) ) )"

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

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

	英文	11篇
	日文	6篇

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