LARA Lecture 17: Tree Automata. Semantics of Procedures Encoding n-ary trees into binary trees WS2S Tree automata Procedures Language with Specified Procedures Review: Relational Semantics Relational Semantics of Procedures References Logic and Automata Theory Course Languages, Automata, and Logic, by Wolfgang Thomas Tree Automata Techniques and Applications (Tata book) The MONA Project Timbook for Reachability Analysis and Tree Automata Calculations Decidability of Second-Order Theories and Automata on Infinite Trees Efficient Static Analysis of XML Paths and Types
