Closure of Tree Automata Languages under Innermost Rewriting

From MaRDI portal
Publication:5170159