| |
| 2000 | ||
|---|---|---|
| 4 | Erika F. de Lima, Christoph Lingenfelder: Presentation of proofs in modal natural deduction. J. Log. Comput. 10(4): 527-572 (2000) | |
| 1999 | ||
| 3 | EE | Erika F. de Lima, Jan O. Pedersen: Phrase Recognition and Expansion for Short, Precision-Biased Queries Based on a Query Log. SIGIR 1999: 145-152 |
| 1997 | ||
| 2 | EE | Erika F. de Lima: Assigning Grammatical Relations with a Back-off Model CoRR cmp-lg/9706001: (1997) |
| 1996 | ||
| 1 | Erika F. de Lima, Christoph Lingenfelder: Optimizing the Presentation of Modal Natural Deduction Proofs. ECAI 1996: 365-369 | |
| 1 | Christoph Lingenfelder | [1] [4] |
| 2 | Jan O. Pedersen | [3] |