Efficient inclusion testing for simple classes of unambiguous ω-automata.

Dimitri Isaak Christof Löding

Published in: Inf. Process. Lett. (2012)

Keyphrases

computationally efficient
cellular automata
finite state machines
database
neural network
artificial intelligence
information systems
query processing
cost effective