1.Neighbourhood Structures: Bisimilarity and Basic Model Theory

作　　者：Helle Hvid Hansen ;Clemens Kupke ;Eric Pacuit

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:2)2009

出版社：Technical University of Braunschweig

文章 ID：47208401

文章详细全文下载
2.Coalgebraic Automata Theory: Basic Results

作　　者：Clemens Kupke ;Yde Venema

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

出版社：Technical University of Braunschweig

文章 ID：47109814

文章详细全文下载
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.Completeness for the coalgebraic cover modality

作　　者：Clemens Kupke ;Alexander Kurz ;Yde Venema

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

出版社：Technical University of Braunschweig

文章 ID：264691958

文章详细全文下载
5.EXPRESSIVE LOGICS FOR COINDUCTIVE PREDICATES

作　　者：Clemens Kupke ;Jurriaan Rot

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-30.doi:10.46298/lmcs-17(4:19)2021

出版社：Technical University of Braunschweig

文章 ID：1038046924

文章详细

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Clemens Kupke")))) )) ) )"

	Clemens Kupke	5篇
	Jurriaan Rot	2篇
	Yde Venema	2篇
	Alexander Kurz	1篇
	Eric Pacuit	1篇

	Logical Methods in Computer Science	4篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2021	1篇
	2020	1篇
	2012	1篇
	2009	1篇
	2008	1篇