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.BibTeX Entry
@inproceedings{ZWM-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
}