首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

	2021	1篇
	2020	5篇
	2019	2篇
	2017	1篇
	2016	1篇

	2015	2篇
	2012	2篇

作者

	Jurriaan Rot	14篇
	Alexandra Silva	4篇
	Tobias Kapp	3篇
	Clemens Kupke	2篇
	Damien Pous	2篇

	Jana Wagemaker	2篇
	Marcello M. Bonsangue	2篇
	Paul Brunet	2篇
	Alexander Kurz	1篇
	Bartek Klin	1篇
	Bas Westerbaan	1篇
	Daniela Petrisan	1篇
	Davide Ancona	1篇
	Dorel Lucanu	1篇
	Elena Zucca	1篇
	Fabio Zanasi	1篇
	Filippo Bonchi	1篇
	Francesco Dagnino	1篇
	Frank de Boer	1篇
	Gerco van Heerdt	1篇
	Helle Hansen	1篇
	Henning Basold	1篇
	Irina Măriuca Asăvoae	1篇
	Joshua Moerman	1篇
	Louis Parlant	1篇
	Marcello Bonsangue	1篇
	Matteo Sammartino	1篇
	Simon Docherty	1篇
	Stefan Milius	1篇

来源期刊

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

学科主题

计算技术、计算机技术

14篇

语种

英文

14篇

国别/地区

	德国	12篇
	澳大利亚	2篇

检索条件:"( ( 高级检索(( ((AU:(("Jurriaan Rot")))) )) ) )"

共 14 条记录

排序：全选导出：

1.On the specification of operations on the rational behaviour of systems

作　　者：Marcello M. Bonsangue ;Stefan Milius ;Jurriaan Rot

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;89:3-18.doi:10.4204/EPTCS.89.2

出版社：Open Publishing Association

文章 ID：83120516

文章详细全文下载
2.Interacting via the Heap in the Presence of Recursion

作　　者：Jurriaan Rot ;Irina Măriuca Asăvoae ;Frank de Boer 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;104:99-113.doi:10.4204/EPTCS.104.9

出版社：Open Publishing Association

文章 ID：83120672

文章详细全文下载
3.Expressive Logics for Coinductive Predicates

作　　者：Clemens Kupke ;Jurriaan Rot

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.26

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

文章 ID：243494227

文章详细全文下载
4.Separation and Renaming in Nominal Sets

作　　者：Joshua Moerman ;Jurriaan Rot

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.31

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

文章 ID：243494232

文章详细全文下载
5.Kleene Algebra with Observations

作　　者：Tobias Kapp ;Paul Brunet ;Jurriaan Rot 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.41

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

文章 ID：238891949

文章详细全文下载
6.Tree Automata as Algebras: Minimisation and Determinisation

作　　者：Gerco van Heerdt ;Tobias Kapp ;Jurriaan Rot 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-22.doi:10.4230/LIPIcs.CALCO.2019.6

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

文章 ID：241520003

文章详细全文下载
7.Monoidal Company for Accessible Functors

作　　者：Henning Basold ;Damien Pous ;Jurriaan Rot

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:5:1-5:16.doi:10.4230/LIPIcs.CALCO.2017.5

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

文章 ID：205510170

文章详细全文下载
8.Partially Observable Concurrent Kleene Algebra

作　　者：Jana Wagemaker ;Paul Brunet ;Simon Docherty 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:20:1-20:22.doi:10.4230/LIPIcs.CONCUR.2020.20

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

文章 ID：255822879

文章详细全文下载
9.Preservation of Equations by Monoidal Monads

作　　者：Louis Parlant ;Jurriaan Rot ;Alexandra Silva 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:77:1-77:14.doi:10.4230/LIPIcs.MFCS.2020.77

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

文章 ID：255822987

文章详细全文下载
10.A Big Step from Finite to Infinite Computations (SCICO Journal-first)

作　　者：Davide Ancona ;Francesco Dagnino ;Jurriaan Rot 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-2.doi:10.4230/LIPIcs.ECOOP.2020.32

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

文章 ID：256859650

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有