1.On (Un)Soundness of Unravelings

作　　者：Karl Gmeiner ;Bernhard Gramlich ;Felix Schernhammer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:119-134.doi:10.4230/LIPIcs.RTA.2010.119

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

文章 ID：186845694

文章详细全文下载
2.On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems

作　　者：Karl Gmeiner ;Bernhard Gramlich ;Felix Schernhammer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:193-208.doi:10.4230/LIPIcs.RTA.2012.193

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

文章 ID：186846085

文章详细全文下载
3.Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems

作　　者：Karl Gmeiner ;Naoki Nishida

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;40:3-14.doi:10.4230/OASIcs.WPTE.2014.3

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

文章 ID：186848751

文章详细全文下载
4.On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings

作　　者：Naoki Nishida ;Makishi Yanagisawa ;Karl Gmeiner

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;40:39-50.doi:10.4230/OASIcs.WPTE.2014.39

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

文章 ID：186848754

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Karl Gmeiner")))) )) ) )"

	Karl Gmeiner	4篇
	Bernhard Gramlich	2篇
	Felix Schernhammer	2篇
	Naoki Nishida	2篇
	Makishi Yanagisawa	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	OASIcs : OpenAccess Series in Informatics	2篇

	2014	2篇
	2012	1篇
	2010	1篇