Erika F. de Lima

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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 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 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

	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		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		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

Coauthor Index

1 Christoph Lingenfelder [1] [4]

2 Jan O. Pedersen [3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page