Back to Results
First PageMeta Content
Mathematics / 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 1
Add to Reading List

Document Date: 2006-03-01 13:27:55

Open Document

File Size: 296,47 KB

Share Result on Facebook

City

Urbana / /

Country

Japan / United States / /

Currency

pence / /

/

Facility

University of Illinois / Urbana-Champaign Thomas M. Siebel Center / National Institute of Advanced Industrial Science / /

IndustryTerm

semi-decision algorithms / subset construction algorithm / semi-algorithm / deterministic algorithm / software development project / finite products / least solution / arbitrary solution / tree automata software library / interactive semi-algorithm / /

Organization

University of Illinois / National Science Foundation / National Institute of Advanced Industrial Science and Technology Nakoji / Department of Computer Science / Urbana-Champaign Thomas M. Siebel Center for Computer Science / /

ProvinceOrState

Illinois / /

Technology

deterministic algorithm / developing semi-decision algorithms / machine learning / subset construction algorithm / interactive semi-algorithm / /

SocialTag