Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Andreas
    Last name: Schnabl
    DBLP: 41/1038
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 9 of 9  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Georg Moser, Andreas Schnabl.
    Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Georg Moser, Andreas Schnabl.
    Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.
    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011 (0) 2011
    Conference paper
    Andreas Schnabl, Jakob Grue Simonsen.
    The Exact Hardness of Deciding Derivational and Runtime Complexity.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Andreas Schnabl.
    Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems.
    Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers 2010 (0) 2009
    Conference paper
    Georg Moser, Andreas Schnabl.
    The Derivational Complexity Induced by the Dependency Pair Method.
    Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Georg Moser, Andreas Schnabl.
    The Derivational Complexity Induced by the Dependency Pair Method
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Martin Avanzini, Georg Moser, Andreas Schnabl.
    Automated Implicit Computational Complexity Analysis (System Description).
    Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Georg Moser, Andreas Schnabl.
    Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.
    Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Georg Moser, Andreas Schnabl, Johannes Waldmann.
    Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India 2008 (0) 2008
    Show item 1 to 9 of 9  

    Your query returned 9 matches in the database.