Abstract

TTT2 at the termination competition 2016.

BibTeX

@inproceedings{CS-WST16b,
  author    = "Christian Sternagel",
  title     = "TTT2 @ TermComp'2016",
  booktitle = "Proceedings of the 15th International Workshop on Termination",
  pages     = "23:1",
  year      = 2016
}