DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

1
On the Power and Universality of Biologically-inspired Models of Computation ; Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie
Ivanov, Sergiu. - : HAL CCSD, 2015
In: https://tel.archives-ouvertes.fr/tel-01272318 ; Computation and Language [cs.CL]. Université Paris-Est, 2015. English. ⟨NNT : 2015PESC1012⟩ (2015)
BASE
Show details
2
Lambda-calculus and formal language theory
Salvati, Sylvain. - : HAL CCSD, 2015
In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015)
BASE
Show details
3
Graph grammars and formal languages ; Grammaires de graphes et langages formels
Dinh, Trong Hiêu. - : HAL CCSD, 2011
In: https://pastel.archives-ouvertes.fr/tel-00665732 ; Autre [cs.OH]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1015⟩ (2011)
BASE
Show details
4
Syntaxe, raisonnement et génomes
Nicolas, Jacques. - : HAL CCSD, 2008
In: https://tel.archives-ouvertes.fr/tel-00355156 ; Sciences du Vivant [q-bio]. Université Rennes 1, 2008 (2008)
BASE
Show details
5
Sémantic representations and generative grammar: the Minimalist Categorial Grammars ; Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles
Amblard, Maxime. - : HAL CCSD, 2007
In: https://tel.archives-ouvertes.fr/tel-00185844 ; Autre [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2007. Français (2007)
BASE
Show details
6
De Bruijn graphs and sequences in languages with restrictions ; Graphes et cycles de de Bruijn dans des langages avec des restrictions
Moreno, Eduardo. - : HAL CCSD, 2005
In: https://tel.archives-ouvertes.fr/tel-00628709 ; Informatique [cs]. Université de Marne la Vallée, 2005. Français (2005)
BASE
Show details
7
Automata on Linear Orderings: Complementation ; Automates sur les ordres linéaires : Complémentation
Rispal, Chloé. - : HAL CCSD, 2004
In: https://tel.archives-ouvertes.fr/tel-00720658 ; Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français (2004)
BASE
Show details
8
Languages and Problem Specification
In: Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet ; https://hal.inria.fr/inria-00107844 ; Carlos Martin-Vide. Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet, Kluwer Publishing House, 8 p, 2000 (2000)
BASE
Show details
9
Knowledge acquisition and representation in music ; Acquisition et représentation de connaissances en musique
Bel, Bernard. - : HAL CCSD, 1990
In: https://tel.archives-ouvertes.fr/tel-00009692 ; Génie logiciel [cs.SE]. Université de droit, d'économie et des sciences - Aix-Marseille III, 1990. Français (1990)
BASE
Show details
10
Inférence de langages réguliers
In: Actes, Journées Françaises de l'Apprentissage ; Journées Françaises de l'Apprentissage ; https://hal.archives-ouvertes.fr/hal-00275789 ; Journées Françaises de l'Apprentissage, 1990, Lannion, France. pp.5-27 (1990)
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