6 |
Jthread, a deadlock-free mutex library
|
|
|
|
In: Principles and Practice of Declarative Programming ; https://hal.inria.fr/hal-01246618 ; Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, ⟨10.1145/2790449.2790523⟩ ; http://costa.ls.fi.upm.es/ppdp15/ (2015)
|
|
BASE
|
|
Show details
|
|
14 |
Les trois dimensions d’une modélisation formelle de la langue : syntagmatique, paradigmatique et sémiotique
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://halshs.archives-ouvertes.fr/halshs-01740584 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, 56 (1), pp.39-63 (2015)
|
|
BASE
|
|
Show details
|
|
15 |
Symbolic execution based on language transformation
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015)
|
|
BASE
|
|
Show details
|
|
16 |
High-level methodologies for grammar engineering. Introduction to the special issue
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01153765 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, 3 (1), pp.5-19 ; http://jlm.ipipan.waw.pl (2015)
|
|
BASE
|
|
Show details
|
|
17 |
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
|
|
18 |
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
|
|
19 |
Lambda-calculus and formal language theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015)
|
|
BASE
|
|
Show details
|
|
20 |
Antonymy In Space And Other Strictly Ordered Domains
|
|
|
|
In: Baltic International Yearbook of Cognition, Logic and Communication (2015)
|
|
BASE
|
|
Show details
|
|
|
|