Undecidable Theories of Lyndon Algebras.

Vera Stebletsova Yde Venema

Published in: J. Symb. Log. (2001)

Keyphrases

theoretical framework
sufficient conditions
defeasible logic
databases
cognitive psychology
computational models
np complete
special case
website
logic programs
video sequences
multiscale
database systems
decision trees
temporal reasoning
spatial reasoning
data sets