1.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

文章详细全文下载
2.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

文章详细全文下载
3.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

文章详细全文下载
4.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

文章详细全文下载
5.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

文章详细全文下载
6.On Sharing, Memoization, and Polynomial Time

作　　者：Martin Avanzini ;Ugo Dal Lago

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:62-75.doi:10.4230/LIPIcs.STACS.2015.62

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

文章 ID：186846652

文章详细全文下载
7.Certification of Complexity Proofs using CeTA

作　　者：Martin Avanzini ;Christian Sternagel ;Ren{\'e} Thiemann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:23-39.doi:10.4230/LIPIcs.RTA.2015.23

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

文章 ID：186846879

文章详细全文下载
8.Complexity of Acyclic Term Graph Rewriting

作　　者：Martin Avanzini ;Georg Moser

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

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

文章 ID：186847442

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Martin Avanzini")))) )) ) )"

	Martin Avanzini	8篇
	Georg Moser	6篇
	Christian Sternagel	1篇
	Naohi Eguchi	1篇
	Ren{\'e} Thiemann	1篇

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

	2016	1篇
	2015	2篇
	2013	3篇
	2011	1篇
	2010	1篇