New Decidability Results Concerning Two-way Counter Machines and Applications.

Oscar H. Ibarra Tao Jiang Nicholas Q. Trân Hui Wang

Published in: ICALP (1993)

Keyphrases

description logics
information systems
multi agent
machine intelligence
neural network
data mining
machine learning
multiresolution
decision procedures