VSL 2014: VIENNA SUMMER OF LOGIC 2014

Automating Elementary Interpretations

Authors: Harald Zankl, Sarah Winkler and Aart Middeldorp

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Automating Elementary Interpretations
Authors:Harald Zankl, Sarah Winkler and Aart Middeldorp
Proceedings:WST 2014 Informal Proceedings
Editor: Carsten Fuhs
Keywords:termination, automation, elementary interpretations
Abstract:

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

Pages:5
Talk:Jul 18 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program