1.Game-Based Local Model Checking for the Coalgebraic mu-Calculus

作　　者：Daniel Hausmann ;Lutz Schr{"o}der

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

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

文章 ID：238891943

文章详细全文下载

2.Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

作　　者：Ulrich Dorsch ;Stefan Milius ;Lutz Schr{"o}der

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

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

文章 ID：238891944

文章详细全文下载

3.Efficient Coalgebraic Partition Refinement

作　　者：Ulrich Dorsch ;Stefan Milius ;Lutz Schr{\"o}der 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:32:1-32:16.doi:10.4230/LIPIcs.CONCUR.2017.32

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

文章 ID：200735198

文章详细全文下载

4.Uniform Interpolation in Coalgebraic Modal Logic

作　　者：Fatemeh Seifan ;Lutz Schr{\"o}der ;Dirk Pattinson

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

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

文章 ID：205510199

文章详细全文下载

5.Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

作　　者：Paul Wild ;Lutz Schr{"o}der

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:27:1-27:23.doi:10.4230/LIPIcs.CONCUR.2020.27

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

文章 ID：255822886

文章详细全文下载

6.Strong Completeness of Coalgebraic Modal Logics

作　　者：Lutz Schr{\"o}der ;Dirk Pattinson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:673-684.doi:10.4230/LIPIcs.STACS.2009.1855

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

文章 ID：186845581

文章详细全文下载

7.Named Models in Coalgebraic Hybrid Logic

作　　者：Lutz Schr{\"o}der ;Dirk Pattinson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:645-656.doi:10.4230/LIPIcs.STACS.2010.2492

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

文章 ID：186845680

文章详细

8.Generic Trace Semantics and Graded Monads

作　　者：Stefan Milius ;Dirk Pattinson ;Lutz Schr{\"o}der

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:253-269.doi:10.4230/LIPIcs.CALCO.2015.253

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

文章 ID：186847106

文章详细全文下载

9.Global Caching for the Alternation-free µ-Calculus

作　　者：Daniel Hausmann ;Lutz Schr{\"o}der ;Christoph Egger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:34:1-34:15.doi:10.4230/LIPIcs.CONCUR.2016.34

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

文章 ID：186847592

文章详细全文下载

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

	Ulrich Dorsch	2篇
	Christoph Egger	1篇
	Fatemeh Seifan	1篇
	Paul Wild	1篇
	Thorsten Wi{\ss}mann	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Lutz Schr{\"o}der")))) )) ) )"

	Lutz Schr{\"o}der	6篇
	Dirk Pattinson	4篇
	Lutz Schr{"o}der	3篇
	Stefan Milius	3篇
	Daniel Hausmann	2篇