Login / Signup
Decidability and Universality of Quasiminimal Subshifts.
Ville Salo
Published in:
CoRR (2014)
Keyphrases
</>
description logics
cellular automata
query answering
decision procedures
query containment
type checking
database
objective function
cooperative
computational complexity
computational properties