1.Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction

作　　者：Keiko Nakata ;Tarmo Uustalu

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;32:57-75.doi:10.4204/EPTCS.32.5

出版社：Open Publishing Association

文章 ID：83119993

文章详细全文下载
2.Resumption-based big-step and small-step interpreters for While with interactive I/O

作　　者：Keiko Nakata

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;66:226-235.doi:10.4204/EPTCS.66.12

出版社：Open Publishing Association

文章 ID：83120302

文章详细全文下载
3.On streams that are finitely red

作　　者：Marc Bezem ;Keiko Nakata ;Tarmo Uustalu

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

出版社：Technical University of Braunschweig

文章 ID：264691882

文章详细全文下载
4.A Hoare logic for the coinductive trace-based big-step semantics of While

作　　者：Keiko Nakata ;Tarmo Uustalu

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:1)2015

出版社：Technical University of Braunschweig

文章 ID：264692268

文章详细全文下载
5.A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators

作　　者：Danko Ilik ;Keiko Nakata

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:188-201.doi:10.4230/LIPIcs.TYPES.2013.188

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

文章 ID：186846504

文章详细全文下载
6.Realizability at Work: Separating Two Constructive Notions of Finiteness

作　　者：Marc Bezem ;Thierry Coquand ;Keiko Nakata 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-23.doi:10.4230/LIPIcs.TYPES.2016.6

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

文章 ID：230213690

文章详细全文下载

	Keiko Nakata	6篇
	Tarmo Uustalu	3篇
	Marc Bezem	2篇
	Danko Ilik	1篇
	Erik Parmann	1篇

	德国	4篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Keiko Nakata")))) )) ) )"

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

	2018	1篇
	2015	1篇
	2014	1篇
	2012	1篇
	2011	1篇