1 |
Interaction Grammars
|
|
|
|
In: Proceedings of 18th International Conference on Computational Linguistics - CoLing 2000 ; https://hal.inria.fr/inria-00147385 ; Proceedings of 18th International Conference on Computational Linguistics - CoLing 2000, International Committee on Computational Linguisitcs, 2000, Sarrebrück/Germany, France. 7 p (2000)
|
|
BASE
|
|
Show details
|
|
2 |
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
|
|
|
|
In: ISSN: 1367-0751 ; EISSN: 1368-9894 ; Logic Journal of the IGPL ; https://hal.inria.fr/inria-00099011 ; Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654 (1999)
|
|
BASE
|
|
Show details
|
|
3 |
Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
|
|
|
|
In: 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97 ; https://hal.inria.fr/inria-00098572 ; 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910 (1998)
|
|
BASE
|
|
Show details
|
|
|
|