Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.

Amélie Gheerbrant Balder ten Cate

Published in: LFCS (2009)

Keyphrases

first order logic
transitive closure
relational model
fixpoint
neural network
text categorization
tree structure
expressive power
finite state
tree structures
constraint query languages
decision trees
relational databases
monadic second order logic