1.Type Inference for Bimorphic Recursion

作　　者：Makoto Tatsuta ;Ferruccio Damiani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:102-115.doi:10.4204/EPTCS.54.8

出版社：Open Publishing Association

文章 ID：83120162

文章详细全文下载
2.Verification of Substitution Theorem Using HOL

作　　者：Takayuki Koai ;Makoto Tatsuta

出　　处：Information and Media Technologies. 2012 ;7(2):685-693.doi:10.11185/imt.7.685

出版社：Information and Media Technologies Editorial Board

文章 ID：103886019

文章详细全文下载
3.Second Order Permutative Conversions with Prawitz抯 Strong Validity

作　　者：Makoto Tatsuta

出　　处：Progress in Informatics. 2005 ;2.

出版社：National Institute of Informatics

文章 ID：45947895

文章详细全文下载
4.Second order permutative conversions with Prawitz’s strong validity

作　　者：Makoto TATSUTA

出　　处：Progress in Informatics. 2005 ;(2):41-56.doi:10.2201/NiiPi.2005.2.4

出版社：National Institute of Informatics

文章 ID：217948529

文章详细
5.Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

作　　者：Daisuke Kimura ;Makoto Tatsuta

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:14)2013

出版社：Technical University of Braunschweig

文章 ID：264691898

文章详细全文下载
6.Non-Commutative Infinitary Peano Arithmetic

作　　者：Makoto Tatsuta ;Stefano Berardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:538-552.doi:10.4230/LIPIcs.CSL.2011.538

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

文章 ID：186846007

文章详细全文下载

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

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

	英文	5篇
	日文	1篇

	日本	3篇
	德国	2篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Makoto TATSUTA")))) )) ) )"

	Makoto Tatsuta	5篇
	Daisuke Kimura	1篇
	Ferruccio Damiani	1篇
	Makoto TATSUTA	1篇
	Stefano Berardi	1篇

	Progress in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Information and Media Technologies	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

	2013	1篇
	2012	1篇
	2011	2篇
	2005	2篇