Keyphrases
- linear time temporal logic
- deterministic automata
- model checking
- machine translation
- temporal logic
- finite automata
- higher level
- query translation
- cross language information retrieval
- statistical machine translation
- bounded model checking
- finite state machines
- natural deduction
- distributed representations
- linear temporal logic
- deterministic finite automaton
- probability distribution