scientific article
From MaRDI portal
Publication:3077191
zbMath1224.68041MaRDI QIDQ3077191
Johannes Waldmann, Adam Koprowski
Publication date: 22 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal verificationterminationterm rewritingweighted tree automatonmatrix interpretationmonotone algebraarctic semiringmax/plus algebra
Related Items
Analyzing program termination and complexity automatically with \textsf{AProVE} ⋮ Unnamed Item ⋮ An automated approach to the Collatz conjecture ⋮ Unnamed Item ⋮ A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems ⋮ Finite sequentiality of unambiguous max-plus tree automata ⋮ Multi-dimensional interpretations for termination of term rewriting ⋮ An automated approach to the Collatz conjecture ⋮ Tuple interpretations for termination of term rewriting ⋮ Analyzing innermost runtime complexity of term rewriting by dependency pairs
Uses Software
This page was built for publication:
