Searching for "Propositional Tree Automata." – sorted by Relevance.
-
Propositional tree automata
- Propositional Tree Automata ⋆ Joe Hendrix 1 , Hitoshi Ohsaki 2 , and Mahesh Viswanathan 1 1
- Cited by 3 (2 self) – Add To MetaCart
-
Sufficient Completeness Checking with Propositional Tree Automata
- Sufficient Completeness Checking with Propositional Tree Automata Joe Hendrix 1 , Hitoshi Ohsaki 2
- Cited by 5 (3 self) – Add To MetaCart

