Determinacy and rewriting of functional top-down and MSO tree transformations
From MaRDI portal
Publication:730500
DOI10.1016/j.jcss.2016.11.001zbMath1356.68050MaRDI QIDQ730500
Joost Engelfriet, Sebastian Maneth, Michael Benedikt
Publication date: 28 December 2016
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2016.11.001
68P15: Database theory
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68P05: Data structures