Deciding Monadic Theories of Hyperalgebraic Trees.

Teodor Knapik Damian Niwinski Pawel Urzyczyn

Published in: TLCA (2001)

Keyphrases

decision trees
datalog queries
deductive databases
case study
theoretical framework
tree structure
computational models
probability theory
tree structures
tree construction
tree models
social networks
relational databases
special case
cognitive psychology
formal models