Martin Avanzini, Christian Sternagel, René Thiemann. Certification of Complexity Proofs using CeTA. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 23-39, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.