The omega-Sequence Problem for DOL Systems Is Decidable.

Karel Culík II Tero Harju

Published in: J. ACM (1984)

Keyphrases

computer vision
management system
building blocks
artificial intelligence
complex systems
databases
expert systems
artificial neural networks
control system
computing systems