Skip to Content

CeTA–Certifying Termination and Complexity Proofs in 2016

Posted on

Authors:

  • Joosten, Sebastiaan J. C.
  • Thiemann, René
  • Yamada, Akihisa

Published in: 15th International Workshop on Termination. Middeldorp, Aart Thiemann, René (Eds)

Paper

BibTeX entry:

@inproceedings{Joosten16,
 author = {Joosten, Sebastiaan Jozef Christiaan and Thiemann, Ren{\'e} and Yamada, Akihisa},
 booktitle = {15th International Workshop on Termination},
 editor = {Middeldorp, Aart and Thiemann, Ren{\'e}},
 month = {Sep},
 title = {CeTA--Certifying Termination and Complexity Proofs in 2016},
 year = {2016}
}