scientific article; zbMATH DE number 6744198
From MaRDI portal
Publication:5277878
DOI10.4230/LIPIcs.RTA.2015.177zbMath1366.68117MaRDI QIDQ5277878
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)
Related Items (4)
Unnamed Item ⋮ Reversible computation in term rewriting ⋮ Termination criteria for tree automata completion ⋮ Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems
This page was built for publication:
