Martin Avanzini, Georg Moser, Andreas Schnabl
Automated Implicit Computational Complexity Analysis
IJCAR, 2008.
@inproceedings{IJCAR-2008-AvanziniMS, author = "Martin Avanzini and Georg Moser and Andreas Schnabl", booktitle = "{Proceedings of the Fourth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-540-71070-7_10", isbn = "978-3-540-71069-1", pages = "132--138", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Automated Implicit Computational Complexity Analysis}", volume = 5195, year = 2008, }