<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-27 07:35:34Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-27 07:35:34Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory |
Add to Reading List |
Tree Automata over Infinite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori