dblp.uni-trier.dewww.uni-trier.de

Andreas Schnabl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
4EEGeorg Moser, Andreas Schnabl: The Derivational Complexity Induced by the Dependency Pair Method CoRR abs/0904.0570: (2009)
2008
3EEGeorg Moser, Andreas Schnabl, Johannes Waldmann: Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. FSTTCS 2008
2EEMartin Avanzini, Georg Moser, Andreas Schnabl: Automated Implicit Computational Complexity Analysis (System Description). IJCAR 2008: 132-138
1EEGeorg Moser, Andreas Schnabl: Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. RTA 2008: 276-290

Coauthor Index

1Martin Avanzini [2]
2Georg Moser [1] [2] [3] [4]
3Johannes Waldmann [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)