cl-banner

Automating Elementary Interpretations

Harald Zankl, Sarah Winkler, and Aart Middeldorp

Proceedings of the 14th International Workshop on Termination (WST 2014), pp. 75 – 79, 2014.

Abstract

We report on an implementation of elementary interpretations for automatic termination proofs.

 

  PDF

BibTeX 

@inproceedings{HZSWAM-WST14,
author = "Harald Zankl and Sarah Winkler and Aart Middeldorp",
title = "Automating Elementary Interpretations"
booktitle = "Proceedings of the 14th International Workshop on Termination",
editor = "Carsten Fuhs",
pages = "75--79",
year = 2014
}
Nach oben scrollen