TermComp 2016 Participant: NaTT
Akihisa YamadaProceedings of the 15th International Workshop on Termination (WST 2016), pp. 25:1, 2016.
Abstract
We describe some new features implemented in NaTT, participating in the Termination Competition 2016.
BibTeX
@inproceedings{AY-WST16,
author = "Akihisa Yamada",
title = "TermComp 2016 Participant: NaTT",
booktitle = "Proceedings of the 15th International Workshop on Termination",
pages = "25:1",
year = 2016
}