Some decidable results on reachability of solvable systems.

Ming Xu Jiaqi Zhu Zhi-Bin Li

Published in: Int. J. Gen. Syst. (2013)

Keyphrases

distributed systems
transitive closure
complex systems
management system
np complete
expert systems
special case
np hard
real time
intelligent systems
information systems
computing systems
control system
computational complexity
software development
learning systems
retrieval systems
data mining