1.Herbrand-Confluence

作　　者：Stefan Hetzl ;Lutz Straßburger

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

出版社：Technical University of Braunschweig

文章 ID：264692199

文章详细全文下载
2.A Systematic Approach to Canonicity in the Classical Sequent Calculus

作　　者：Kaustuv Chaudhuri ;Stefan Hetzl ;Dale Miller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:183-197.doi:10.4230/LIPIcs.CSL.2012.183

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

文章 ID：186846159

文章详细全文下载
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.Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars

作　　者：Bahareh Afshari ;Stefan Hetzl ;Graham E. Leigh

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:1-16.doi:10.4230/LIPIcs.TLCA.2015.1

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

文章 ID：186846852

文章详细全文下载
5.Tree Grammars for the Elimination of Non-prenex Cuts

作　　者：Stefan Hetzl ;Sebastian Zivota

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:110-127.doi:10.4230/LIPIcs.CSL.2015.110

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

文章 ID：186847042

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stefan Hetzl")))) )) ) )"

	Stefan Hetzl	5篇
	Bahareh Afshari	1篇
	Dale Miller	1篇
	Graham E. Leigh	1篇
	Kaustuv Chaudhuri	1篇

	Lutz Stra{\ss}burger	1篇
	Lutz Straßburger	1篇
	Sebastian Zivota	1篇

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

	2015	2篇
	2013	1篇
	2012	2篇