cl-banner

TermComp 2018 Participant: TTT2

Florian Meßner, Christian Sternagel

Proceedings of the 16th International Workshop on Termination (WST 2018),   pp. 79, 2018.

Abstract

TTT2 at the termination competition 2018.

 

  PDF  

BibTeX 

@inproceedings{FMCS-WST18,
author = "Florian Meßner and Christian Sternagel",
title = "TermComp 2018 Participant: TTT2",
booktitle = "Proceedings of the 16th International Workshop on Termination",
pages = "79",
year = 2018
}
Nach oben scrollen