1.Implicit complexity for coinductive data: a characterization of corecurrence

作　　者：Daniel Leivant ;Ramyaa Ramyaa

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;75:1-14.doi:10.4204/EPTCS.75.1

出版社：Open Publishing Association

文章 ID：83120396

文章详细全文下载
2.The Ackermann Award 2017

作　　者：Anuj Dawar ;Daniel Leivant

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:1:1-1:4.doi:10.4230/LIPIcs.CSL.2017.1

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

文章 ID：200735067

文章详细全文下载
3.Alternating Turing machines for inductive languages

作　　者：Daniel Leivant

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

出版社：Technical University of Braunschweig

文章 ID：264692031

文章详细全文下载
4.Global semantic typing for inductive and coinductive computing

作　　者：Daniel Leivant

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:18)2014

出版社：Technical University of Braunschweig

文章 ID：264692170

文章详细全文下载
5.Global semantic typing for inductive and coinductive computing

作　　者：Daniel Leivant

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:469-483.doi:10.4230/LIPIcs.CSL.2013.469

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

文章 ID：186846355

文章详细全文下载

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Daniel Leivant")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2017	1篇
	2014	1篇
	2013	2篇
	2011	1篇

	Daniel Leivant	5篇
	Anuj Dawar	1篇
	Ramyaa Ramyaa	1篇