DE eng

Search in the Catalogues and Directories

Hits 1 – 7 of 7

1
Neural Proof Nets
In: CoNLL 2020 - 24th Conference on Computational Natural Language Learning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02952267 ; CoNLL 2020 - 24th Conference on Computational Natural Language Learning, Nov 2020, Virtual, Dominican Republic. pp.26-40, ⟨10.18653/v1/2020.conll-1.3⟩ ; https://www.conll.org/ (2020)
BASE
Show details
2
Deductive Parsing with an Unbounded Type Lexicon
In: 3rd Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science ; SEMSPACE ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02313572 ; SEMSPACE, Aug 2019, Riga, Latvia (2019)
BASE
Show details
3
Proofs nets and the categorial flow of information
In: Logic and Interactive Rationality ; https://hal.archives-ouvertes.fr/hal-00759906 ; Logic and Interactive Rationality, 2012, Amsterdam, Netherlands (2012)
BASE
Show details
4
Proof nets for the Lambek-Grishin calculus
In: https://hal.archives-ouvertes.fr/hal-00759895 ; 2011 (2011)
BASE
Show details
5
Proof nets for the Lambek-Grishin calculus ...
Moortgat, Michael; Moot, Richard. - : arXiv, 2011
BASE
Show details
6
The Lambek calculus in logic and linguistics
In: Studia logica. - Dordrecht : Springer Science + Business Media 71 (2002) 3, 261-451
BLLDB
Show details
7
Computational Linguistics in the Netherlands 2000 : selected papers from the eleventh CLIN Meeting
Hoekstra, Heleen (Mitarb.); Swerts, Marc (Mitarb.); Daelemans, Walter (Hrsg.). - Amsterdam [u.a.] : Rodopi, 2001
BLLDB
UB Frankfurt Linguistik
Show details

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