Martin Avanzini

	2009
4		Martin Avanzini, Georg Moser: Dependency Pairs and Polynomial Path Orders. RTA 2009: 48-62
3		Martin Avanzini, Georg Moser: Dependency Pairs and Polynomial Path Orders CoRR abs/0904.0981: (2009)
	2008
2		Martin Avanzini, Georg Moser: Complexity Analysis by Rewriting. FLOPS 2008: 130-146
1		Martin Avanzini, Georg Moser, Andreas Schnabl: Automated Implicit Computational Complexity Analysis (System Description). IJCAR 2008: 132-138

Coauthor Index

1	Georg Moser	[1] [2] [3] [4]
2	Andreas Schnabl	[1]