维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

15篇 您的检索式：作者名="Vene V"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Functional Programming with Apomor phisms(Corecursion) 显示文摘	Vene V Uustalu T	1998	Proceedings of the Estonian Academy of Science : Physics Mathematics1998，47，3：	1
	2	Primitive (Co) recursion and course-of-value ( Co ) iteration, categorically 显示文摘	Uustalu T Vene V	1999	Infor- matiea1999，10，1：	1
	3	Primitive(Co)Recursion and Course of Val ue ( Co ) Iteration, Categorically显示文摘	Uustalu T Vene V	1999	INFORMATICA1999，10，1：	1
	4	Functional programming with apomor- phism ( corecursion ) 显示文摘	Vene V Uustalu T	1998	Proceedings of the Estonian Academy of Science : Physics Mathematics1998，47，3：	1
	5	Recursion schemes from comonads 显示文摘	Uustalu T Vene V Pardo A	2001	Nordic Journal of Computing2001，9，3：	1
	6	The recursion scheme from the cofree recursive comonad 显示文摘	Uustalu T Vene V	2011	Electronic Notes in Theoretical Computer Science2011，229，5：	1
	7	Primitive (Co) recursion and Course- of-Value (Co) iteration, categorically 显示文摘	Uustalu T Vene V	1999	Informatica1999，10，1：	1
	8	The essence of dataflow programming显示文摘	UUSTALU T VENE V	2006	Lecture Notes in Computer Science2006，4164，：	1
	9	Primitive (co) recursion and course-of-value (co) iteration, categorically 显示文摘	Uustalu T Vene V	1999	INFORMATICA1999，10，1：	1
	10	Recursive coalgebras from Comonads 显示文摘	Capretta V Uustalu T Vene V	2006	Information and Computation2006，204，4：	1
	11	Goblint: path-sensitive data race analysis显示文摘	Vojdani V Vene V	2009	Annales Univ Sci Budapest: Sect Comp2009，30，：	1
	12	Functional programming with apomorphisms (corecursion)显示文摘	Vene V Uustalu T	1998	Proceedings of the Estonian Academy of Science:Physics Mathematics1998，47，3：	1
	13	Comonadic Notions of Computation显示文摘	Uustalu T Vene V	2008	E- lectronic Notes in Theoretical Computer Sdenee2008，203，：	1
	14	Signals and Comonads 显示文摘	Uustalu T Vene V	2005	Journal of Uni- versal Computer Science2005，22，7：	1
	15	Primitive (co) recursion and course- of- value (co)iteration, eategorically显示文摘	Uustalu T Vene V	1999	Informatica1999，10，1：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费