The omega-Sequence Equivalence Problem for DOL Systems Is Decidable

Karel Culík II Tero Harju

Published in: STOC (1981)

Keyphrases

distributed systems
complex systems
management system
datalog programs
databases
neural network
machine learning
database systems
digital libraries
expert systems
query processing
control system
intelligent systems