Variations of checking stack automata: Obtaining unexpected decidability properties.

Oscar H. Ibarra Ian McQuillan

Published in: Theor. Comput. Sci. (2018)

Keyphrases

cellular automata
desirable properties
artificial intelligence
face recognition
database
social networks
database systems
description logics
query answering
structural properties