DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5 6
Hits 101 – 120 of 120

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
102
Generative grammars in resource logics
In: Research on language and computation. - London : King's College 2 (2004) 1, 3-25
BLLDB
Show details
103
Resource logics and minimalist grammars
In: Research on language and computation. - London : King's College 2 (2004) 1, 1-146
BLLDB
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
Retoré, Christian. - : HAL CCSD, 2002
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
Groote, Philippe de; Morrill, Glyn; Retoré, Christian. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001
UB Frankfurt Linguistik
Show details
109
Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles
In: Technique et science informatiques. - Paris : Ed. Hermès 20 (2001) 3, 301-336
BLLDB
Show details
110
Logical Aspects of Computational Linguistics
De Groote, Philippe; Morrill, Glyn; Retoré, Christian. - : HAL CCSD, 2001. : Springer, 2001
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]
Gonzalo, Julio (Mitarb.); Heylen, Dirk (Mitarb.); Perrier, Guy (Mitarb.). - Roma : Bulzoni, 1999
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
Marcus, Solomon (Mitarb.); Miquel-Vergés, Joan (Mitarb.); Sánchez González, Francisco Javier (Mitarb.). - Amsterdam [u.a.] : Benjamins, 1998
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
117
Logical aspects of computational linguistics : an introduction
In: Logical aspects of computational linguistics (Berlin, 1997), p. 1-20
MPI für Psycholinguistik
Show details
118
Logical aspects of computational linguistics : first international conference ; selected papers
Retoré, Christian (Hrsg.). - Berlin [u.a.] : Springer, 1997
UB Frankfurt Linguistik
Show details
119
Grammaire et théorie de la preuve
Lecomte, Alain (Mitarb.); Retoré, Christian (Mitarb.); Biskri, Ismaïl (Mitarb.)...
In: Traitement automatique des langues. - Saint-Cloud : ATALA 37 (1996) 2, 3-143
BLLDB
Show details
120
Calcul de Lambek et logique linéaire
In: Traitement automatique des langues. - Saint-Cloud : ATALA 37 (1996) 2, 39-70
OLC Linguistik
Show details

Page: 1 2 3 4 5 6

Catalogues
6
0
6
0
1
0
0
Bibliographies
11
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
100
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern