CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES
From MaRDI portal
Publication:5389153
DOI10.4230/LIPIcs.RTA.2010.325zbMath1236.68152MaRDI QIDQ5389153
Christian Sternagel, René Thiemann
Publication date: 25 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9fe0.html
68Q42: Grammars and rewriting systems
Related Items
Uses Software