On Direct Products of Automaton Decidable Theories.

Bernard R. Hodgson

Published in: Theor. Comput. Sci. (1982)

Keyphrases

theoretical framework
learning algorithm
search engine
product design
linear time temporal logic
artificial intelligence
website
domain theory
cognitive psychology
long tail
action theories
tree automata
deterministic finite automaton