DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

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
5
Matching trace patterns with regular policies
Baader, Franz; Bauer, Andreas; Tiu, Alwen. - : Springer, 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
Zanasi, Fabio. - : HAL CCSD, 2015
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
Perrinel, Matthieu. - : HAL CCSD, 2015
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

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