Sharp Disjunctive Decomposition for Language Emptiness Checking.

Chao Wang Gary D. Hachtel

Published in: FMCAD (2002)

Keyphrases

natural language
programming language
language learning
decomposition method
artificial intelligence
conceptual graphs
target language
type checking
databases
multi agent systems
image decomposition