cl-banner

TermComp 2016 Participant: NaTT

Akihisa Yamada

Proceedings 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.

 

  PDF

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
}
Nach oben scrollen