cl-banner

The Generalized Subterm Criterion in TTT2

Christian Sternagel

Proceedings of the 15th International Workshop on Termination (WST 2016), pp. 11:1 – 11:5, 2016.

Abstract

We present an SMT encoding of a generalized version of the subterm criterion and evaluate its implementation in TTT2.

 

  PDF

BibTeX 

@inproceedings{CS-WST16,
author = "Christian Sternagel",
title = "The Generalized Subterm Criterion in TTT2",
booktitle = "Proceedings of the 15th International Workshop on Termination",
pages = "11:1--11:5",
year = 2016
}
Nach oben scrollen