On the Decomposability of Monadic Algebras and Automata
Zamir BavelJames W. ThomasPublished in: SWAT (1967)
Keyphrases
- cellular automata
- deductive databases
- datalog queries
- finite automata
- datalog programs
- probabilistic automata
- finite state
- tree automata
- regular expressions
- temporal reasoning
- clifford algebra
- finite state automata
- finite state machines
- query evaluation
- relation algebra
- distributive lattices
- case study
- automata theoretic
- databases
- boolean algebra
- context free
- first order logic
- data integration
- neural network