1.Combinatorial Flows and Their Normalisation

作　　者：Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:31:1-31:17.doi:10.4230/LIPIcs.FSCD.2017.31

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

文章 ID：200735140

文章详细全文下载
2.The Focused Calculus of Structures

作　　者：Kaustuv Chaudhuri ;Nicolas Guenot ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:159-173.doi:10.4230/LIPIcs.CSL.2011.159

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

文章 ID：186845981

文章详细全文下载
3.Herbrand-Confluence for Cut Elimination in Classical First Order Logic

作　　者：Stefan Hetzl ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:320-334.doi:10.4230/LIPIcs.CSL.2012.320

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

文章 ID：186846168

文章详细全文下载
4.No complete linear term rewriting system for propositional logic

作　　者：Anupam Das ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:127-142.doi:10.4230/LIPIcs.RTA.2015.127

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

文章 ID：186846885

文章详细全文下载
5.Modular Focused Proof Systems for Intuitionistic Modal Logics

作　　者：Kaustuv Chaudhuri ;Sonia Marin ;Lutz Stra{\ss}burger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:16:1-16:18.doi:10.4230/LIPIcs.FSCD.2016.16

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

文章 ID：186847448

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Lutz Stra{\ss}burger")))) )) ) )"

	Lutz Stra{\ss}burger	5篇
	Kaustuv Chaudhuri	2篇
	Anupam Das	1篇
	Nicolas Guenot	1篇
	Sonia Marin	1篇

	2017	1篇
	2016	1篇
	2015	1篇
	2012	1篇
	2011	1篇