Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.

Valentina S. Harizanov

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

sufficient conditions
description logics
environmental conditions
real world
artificial intelligence
case study
data model
multispectral