Automating Elementary Interpretations

Abstract

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

View Slides

Cite this paper

@inproceedings{Zankl2014AutomatingEI, title={Automating Elementary Interpretations}, author={Harald Zankl and Sarah Winkler and Aart Middeldorp}, year={2014} }