2 |
Beyond Trees
|
|
|
|
In: Workshop on Trees - ESSLI 2000 ; https://hal.inria.fr/inria-00099249 ; Workshop on Trees - ESSLI 2000, V. Goranko, 2000, Birmingham, UK, 13 p (2000)
|
|
BASE
|
|
Show details
|
|
4 |
Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
5 |
2nd International Conference on Logical Aspects of Computational Linguistics
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Spaces for linguistic representations and the semantics of linear Logic
|
|
|
|
In: Dagstuhl Seminar 22.08.1999 - 27.08.1999 ; https://hal.inria.fr/inria-00098911 ; Dagstuhl Seminar 22.08.1999 - 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none (1999)
|
|
BASE
|
|
Show details
|
|
7 |
Proof Nets for the Lambek Calculus - an overview
|
|
|
|
In: Third Roma Workshop: Proofs in Linguistic Categories ; https://hal.inria.fr/inria-00098442 ; Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262 (1998)
|
|
BASE
|
|
Show details
|
|
8 |
Logical Aspects of Computational Linguistics - selected papers from LACl'97
|
|
|
|
In: 2th International Conference on Logical Aspects of Computational Linguistics ; https://hal.inria.fr/inria-00099010 ; 2th International Conference on Logical Aspects of Computational Linguistics, LORIA, 1997, Nancy, France, 251 p (1997)
|
|
BASE
|
|
Show details
|
|
|
|