Order-sorted termination: The unsorted way
From MaRDI portal
Publication:2956715
DOI10.1007/3-540-61735-3_6zbMath1355.68134OpenAlexW1528050552MaRDI QIDQ2956715
Olav Lysne, Peter Csaba Ölveczky
Publication date: 19 January 2017
Published in: Algebraic and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61735-3_6
Related Items (5)
mu-term: Verify Termination Properties Automatically (System Description) ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ MTT: The Maude Termination Tool (System Description) ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way ⋮ Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
This page was built for publication: Order-sorted termination: The unsorted way
