CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES
From MaRDI portal
Publication:5389153
DOI10.4230/LIPIcs.RTA.2010.325zbMath1236.68152OpenAlexW1536682639MaRDI QIDQ5389153
Christian Sternagel, René Thiemann
Publication date: 25 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9fe0.html
Related Items (1)
Uses Software
This page was built for publication: CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES