Matrix Interpretations on Polyhedral Domains.

DOI10.4230/LIPIcs.RTA.2015.318zbMath1366.68129OpenAlexW2337950517MaRDI QIDQ5277888

Johannes Waldmann

Publication date: 12 July 2017

Full work available at URL: http://dblp.uni-trier.de/db/conf/rta/rta2015.html#Waldmann15

zbMATH Keywords

linear inequalitiesconstraint programmingmatrix interpretationstermination of term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

From Jinja bytecode to term rewriting: a complexity reflecting transformation ⋮ Automatic synthesis of logical models for order-sorted first-order theories

This page was built for publication: Matrix Interpretations on Polyhedral Domains.