Quasi-Linearizability is Undecidable.

Chao Wang Yi Lv Gaoang Liu Peng Wu

Published in: APLAS (2015)

Keyphrases

sufficient conditions
np complete
database
databases
artificial intelligence
knowledge base
three dimensional
database systems
similarity measure
multiscale
multi agent systems
xml documents