Keyphrases
- predicate logic
- tree automata
- regular expressions
- knowledge representation and reasoning
- finite automata
- finite state
- formal logic
- tree languages
- finite automaton
- semantic network
- computational linguistics
- temporal logic
- lower level
- context free grammars
- pattern matching
- data mining
- artificial intelligence
- incomplete information
- database
- order sorted