First Page | Document Content | |
---|---|---|
Date: 2006-03-01 13:27:55Mathematics Symbol Interpretation Tree automaton Nondeterministic finite automaton Complementation of Büchi automaton Automata theory Theoretical computer science Logic | Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1Add to Reading ListSource URL: maude.cs.uiuc.eduDownload Document from Source WebsiteFile Size: 296,47 KBShare Document on Facebook |