Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.

Oscar H. Ibarra Ian McQuillan

Published in: CoRR (2017)

Keyphrases

desirable properties
description logics
computer vision
cellular automata
artificial intelligence
database systems
automata theoretic
consistency checking
topological properties
temporal logic
image sequences
database
case study
learning algorithm
information retrieval
data mining
neural network
data sets