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

登录注册

全文

有本地全文

3篇

出版年度

	2019	1篇
	2013	1篇
	2007	1篇

作者

	Christof Löding	3篇
	Martin Lang	1篇
	Patrick Landwehr	1篇
	Thomas Colcombet	1篇

来源期刊

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

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("Christof Löding")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Transforming Structures by Set Interpretations

作　　者：Thomas Colcombet ;Christof Löding

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

出版社：Technical University of Braunschweig

文章 ID：46838665

文章详细全文下载
2.Modeling and Verification of Infinite Systems with Resources

作　　者：Martin Lang ;Christof Löding

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

出版社：Technical University of Braunschweig

文章 ID：264692181

文章详细全文下载
3.Tree Automata with Global Constraints for Infinite Trees

作　　者：Patrick Landwehr ;Christof Löding

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;126:1-15.doi:10.4230/LIPIcs.STACS.2019.47

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

文章 ID：230438589

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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