Searching for "Propositional Tree Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Propositional tree automata
by Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan — 2006 — Procs. of RTA’06, vol. 4098 of LNCS
…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
by Joe Hendrix, Hitoshi Ohsaki, José Meseguer — 2005 — National Institute of Advanced Industrial Science and Technology, 2005. (http://staff.aist.go.jp/hitoshi.ohsaki
…Sufficient Completeness Checking with Propositional Tree Automata Joe Hendrix 1 , Hitoshi Ohsaki 2…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB