1 |
Special issue on type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01803758 ; France. Journal of Language Modelling, 5 (2 ), 2017 ; http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16 (2017)
|
|
BASE
|
|
Show details
|
|
2 |
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
3 |
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01584832 ; Aug 2015, Barcelona, Spain. 2015 (2015)
|
|
BASE
|
|
Show details
|
|
6 |
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00829051 ; Springer, pp.322, 2012, FoLLI-LNCS, 978-3-642-31554-1 (2012)
|
|
BASE
|
|
Show details
|
|
8 |
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
|
|
|
|
In: https://hal.inria.fr/inria-00607880 ; Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩ (2011)
|
|
BASE
|
|
Show details
|
|
9 |
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
|
|
10 |
Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
11 |
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
|
|
12 |
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
|
|
13 |
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
|
|
|
|