1.Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)

作　　者：Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:2:1-2:10.doi:10.4230/LIPIcs.FSCD.2017.2

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

文章 ID：200735111

文章详细全文下载

2.Polynomial Path Orders

作　　者：Martin Avanzini ;Georg Moser

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

出版社：Technical University of Braunschweig

文章 ID：264692200

文章详细全文下载

3.Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

作　　者：Georg Moser ;Andreas Schnabl ;Johannes Waldmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:304-315.doi:10.4230/LIPIcs.FSTTCS.2008.1762

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

文章 ID：186845506

文章详细全文下载

4.Closing the Gap Between Runtime Complexity and Polytime Computability

作　　者：Martin Avanzini ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:33-48.doi:10.4230/LIPIcs.RTA.2010.33

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

文章 ID：186845689

文章详细全文下载

5.A Path Order for Rewrite Systems that Compute Exponential Time Functions

作　　者：Martin Avanzini ;Naohi Eguchi ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:123-138.doi:10.4230/LIPIcs.RTA.2011.123

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

文章 ID：186845916

文章详细全文下载

6.Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity

作　　者：Georg Moser ;Andreas Schnabl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:235-250.doi:10.4230/LIPIcs.RTA.2011.235

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

文章 ID：186845923

文章详细全文下载

7.A Combination Framework for Complexity

作　　者：Martin Avanzini ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:55-70.doi:10.4230/LIPIcs.RTA.2013.55

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

文章 ID：186846303

文章详细全文下载

8.Tyrolean Complexity Tool: Features and Usage

作　　者：Martin Avanzini ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:71-80.doi:10.4230/LIPIcs.RTA.2013.71

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

文章 ID：186846304

文章详细全文下载

9.The Structure of Interaction

作　　者：St{\'e}phane Gimenez ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:316-331.doi:10.4230/LIPIcs.CSL.2013.316

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

文章 ID：186846346

文章详细全文下载

10.Multivariate Amortised Resource Analysis for Term Rewrite Systems

作　　者：Martin Hofmann ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:241-256.doi:10.4230/LIPIcs.TLCA.2015.241

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

文章 ID：186846868

文章详细全文下载

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

	2019	1篇
	2017	1篇
	2016	1篇
	2015	2篇
	2013	4篇

	Georg Moser	13篇
	Martin Avanzini	6篇
	Andreas Schnabl	2篇
	Aart Middeldorp	1篇
	Johannes Waldmann	1篇

	Martin Hofmann	1篇
	Nao Hirokawa	1篇
	Naohi Eguchi	1篇
	Sarah Winkler	1篇
	St{\'e}phane Gimenez	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Georg Moser")))) )) ) )"

	德国	12篇
	澳大利亚	1篇