Decidability and universality of quasiminimal subshifts.

Published in: J. Comput. Syst. Sci. (2017)

Keyphrases

description logics
cellular automata
query answering
decision procedures
case study
computational properties
type checking
artificial intelligence
information systems
natural language
multi agent systems