Tree Automata Techniques and Applications
The two first chapters contain the basics on Tree Automata theory for finite ordered ranked trees. Chapter 3 shows connections between Logic and Tree Automata. Chapter 4 presents Automata with Constraints.
Custom Search
Tuesday, June 3, 2008
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment