Modulo Counting Quantifiers Over Finite Trees.

Andreas Potthoff

Published in: CAAP (1992)

Keyphrases

decision trees
finite number
tree structure
multiscale
natural language
first order logic
tree models
artificial intelligence
expert systems
tree structures
tree construction
tree automata
bounded degree