Publication:5277878
From MaRDI portal
DOI10.4230/LIPIcs.RTA.2015.177zbMath1366.68117MaRDI QIDQ5277878
Publication date: 12 July 2017
strategy; static analysis; tree automata; term rewriting systems; functional program; innermost strategy
68Q45: Formal languages and automata
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
Related Items
Termination criteria for tree automata completion, Reversible computation in term rewriting, Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems, Unnamed Item