Converging to the chase - A tool for finite controllability.

Tomasz Gogacz Jerzy Marcinkowski

Published in: J. Comput. Syst. Sci. (2017)

Keyphrases

query answering
real time
temporal reasoning
database
artificial intelligence
search engine
decision trees
database systems
evolutionary algorithm
data warehouse
data exchange
software tools
finite number
finite automata