1 |
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
|
|
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
|
|
BASE
|
|
Show details
|
|
2 |
‘Must’ implies ‘can’
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03080446 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
3 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
8 |
Monsters begat by quantifiers?
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00965284 ; 2014 (2014)
|
|
BASE
|
|
Show details
|
|
9 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
10 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779214 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
12 |
Syntaxe et sémantique formelle des constructions verbales exprimant des relations symétriques
|
|
|
|
In: Langages, n 179-180, 3, 2010-12-01, pp.115-141 (2010)
|
|
BASE
|
|
Show details
|
|
13 |
Analysing German verb-particle constructions with 'auf' within a DRT based framework ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Analysing German verb-particle constructions with 'auf' within a DRT based framework
|
|
|
|
BASE
|
|
Show details
|
|
|
|