New Decidability Results Concerning Two-Way Counter Machines.

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

Published in: SIAM J. Comput. (1995)

Keyphrases

description logics
multiscale
query answering
genetic algorithm
information systems
metadata
special case
hidden markov models
decision procedures