Keyphrases
- linear logic
- speech recognition
- speech signal
- fixed point
- sequent calculus
- proof theoretic
- machine translation
- desirable properties
- proof search
- cut elimination
- logic programming
- intuitionistic logic
- logical framework
- automatic speech recognition
- first order logic
- cross language information retrieval
- inference rules
- automata theoretic
- broadcast news
- natural deduction
- computational complexity