101 |
Syntaxe et traitement automatique des langues
|
|
|
|
In: La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller ; https://hal.archives-ouvertes.fr/hal-00354049 ; F. Lambert et H. Nolke. La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, Presses Universitaires de Rennes, pp.271--286, 2005, Rivages linguistiques (2005)
|
|
BASE
|
|
Show details
|
|
104 |
L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles
|
|
|
|
In: Journée de Sémantique et Modélisation ; https://hal.archives-ouvertes.fr/hal-01079275 ; Journée de Sémantique et Modélisation, Mar 2004, Lyon, France (2004)
|
|
BASE
|
|
Show details
|
|
105 |
Syntax and Semantics interacting in a Minimalist theory
|
|
|
|
In: Prospect and advance in the syntax/semantic interface ; https://hal.archives-ouvertes.fr/hal-01079278 ; Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France (2004)
|
|
BASE
|
|
Show details
|
|
106 |
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
|
|
|
|
In: https://hal.inria.fr/inria-00071248 ; [Research Report] RR-5409, INRIA. 2004, pp.25 (2004)
|
|
BASE
|
|
Show details
|
|
107 |
Linear logic and natural language syntax ; Logique linéaire et syntaxe des langues
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00354041 ; Mathématiques [math]. Université de Nantes, 2002 (2002)
|
|
BASE
|
|
Show details
|
|
108 |
Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
110 |
Logical Aspects of Computational Linguistics
|
|
|
|
In: https://hal.inria.fr/inria-00100530 ; Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence (2001)
|
|
BASE
|
|
Show details
|
|
111 |
Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles
|
|
|
|
In: https://hal.inria.fr/inria-00072736 ; [Rapport de recherche] RR-3917, INRIA. 2000 (2000)
|
|
BASE
|
|
Show details
|
|
112 |
Dynamic perspectives in logic and linguistics : proof-theoretical dimensions of communication processes ; proceedings of the IV Roma workshop ; Rome, October 15 - 17, 1997 ; [research report]
|
|
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
113 |
Resource Logics and Minimalist Grammars
|
|
|
|
In: https://hal.inria.fr/inria-00072881 ; [Research Report] RR-3780, INRIA. 1999 (1999)
|
|
BASE
|
|
Show details
|
|
114 |
Mathematical and computational analysis of natural language : selected papers from the 2nd International Conference on Mathematical Linguistics, Tarragona (ICML '96), 2 - 4 May 1996
|
|
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
115 |
Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
|
|
|
|
In: Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II) ; https://hal.inria.fr/inria-00098440 ; Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144 (1998)
|
|
BASE
|
|
Show details
|
|
116 |
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
|
|
|
|