1 |
Lexical Semantics with Linear Types
|
|
|
|
In: EasyChair Proceedings in ComputingNLCS'15. Third Workshop on Natural Language and Computer Science ; NLCS'15. Third Workshop on Natural Language and Computer Science ; https://hal.inria.fr/hal-01214442 ; NLCS'15. Third Workshop on Natural Language and Computer Science, Makoto Kanazawa, Jul 2015, Kyoto, Japan. pp.72 ; http://www.easychair.org/publications/volume/NLCS-15 (2015)
|
|
BASE
|
|
Show details
|
|
2 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
3 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
4 |
Propositional glue and the projection architecture of LFG
|
|
|
|
In: Linguistics and Philosophy: a journal of natural language syntax, semantics, logic, pragmatics, and processing (2015)
|
|
BASE
|
|
Show details
|
|
6 |
A first-order policy language for history-based transaction monitoring
|
|
|
|
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
|
|
BASE
|
|
Show details
|
|
7 |
Interacting Hopf Algebras- the Theory of Linear Systems ; Interacting Hopf Algebras - la théorie des systèmes linéaires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01218015 ; Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩ (2015)
|
|
BASE
|
|
Show details
|
|
8 |
Investigating the expressivity of linear logic subsystems characterizing polynomial time ; Exploration de l’expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01204992 ; Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1001⟩ (2015)
|
|
BASE
|
|
Show details
|
|
9 |
Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
|
|
Soden, Michael. - : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
|
|
BASE
|
|
Show details
|
|
10 |
Dynamische Modellanalyse von Metamodellen mit operationaler Semantik ...
|
|
Soden, Michael. - : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
|
|
BASE
|
|
Show details
|
|
|
|