1.Confluence Competition 2018

作　　者：Takahito Aoto ;Makoto Hamana ;Nao Hirokawa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:32:1-32:5.doi:10.4230/LIPIcs.FSCD.2018.32

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

文章 ID：220014790

文章详细
2.Populating the Peephole Optimizer of a Smart Contract Compiler

作　　者：Maria A. Schett ;Julian Nagele

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;84:1-15.doi:10.4230/OASIcs.FMBC.2020.3

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

文章 ID：257805146

文章详细全文下载
3.On the Formalization of Termination Techniques based on Multiset Orderings

作　　者：Ren{\'e} Thiemann ;Guillaume Allais ;Julian Nagele

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:339-354.doi:10.4230/LIPIcs.RTA.2012.339

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

文章 ID：186846094

文章详细全文下载
4.Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules

作　　者：Julian Nagele ;Bertram Felgenhauer ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:257-268.doi:10.4230/LIPIcs.RTA.2015.257

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

文章 ID：186846893

文章详细全文下载
5.Certified Rule Labeling

作　　者：Julian Nagele ;Harald Zankl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:269-284.doi:10.4230/LIPIcs.RTA.2015.269

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

文章 ID：186846894

文章详细全文下载

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

	Kiraku Shintani	1篇
	Makoto Hamana	1篇
	Maria A. Schett	1篇
	Nao Hirokawa	1篇
	Naoki Nishida	1篇
	Ren{\'e} Thiemann	1篇
	Takahito Aoto	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Julian Nagele")))) )) ) )"

	Julian Nagele	5篇
	Aart Middeldorp	2篇
	Harald Zankl	2篇
	Bertram Felgenhauer	1篇
	Guillaume Allais	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2020	1篇
	2018	1篇
	2015	2篇
	2012	1篇