Skip to Main content Skip to Navigation
New interface

tel-01792635v1  Theses
Irini-Eleftheria Mens. Learning regular languages over large alphabets
Machine Learning [cs.LG]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM052⟩
tel-00293206v2  Theses
Faisal Alkhateeb. Querying RDF(S) with Regular Expressions
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English. ⟨NNT : ⟩
tel-02376187v1  Theses
Clément Miklarz. Etude d'extensions des langages déterministes
Autre [cs.OH]. Normandie Université, 2019. Français. ⟨NNT : 2019NORMR059⟩
tel-02303422v1  Theses
Théo Pierron. Induction Schemes : From Language Separation to Graph Colorings
Programming Languages [cs.PL]. Université de Bordeaux, 2019. English. ⟨NNT : 2019BORD0119⟩
tel-01092549v1  Theses
Antoine Mbaye Ndione. Approximate Membership for Words and Trees
Computer Science [cs]. Université Lille 1, 2014. English. ⟨NNT : ⟩
tel-00462032v1  Theses
Stéphane Hassen. Synchronisation de grammaires de graphe
Informatique [cs]. Université de la Réunion, 2009. Français. ⟨NNT : ⟩
tel-00004672v1  Theses
Catalin Dima. An algebraic theory of real-time formal languages
Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2001. English. ⟨NNT : ⟩
tel-01455083v1  Theses
Paul Brunet. Algebras of Relations : from algorithms to formal proofs
Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
tel-01901576v1  Theses
Dogan Ulus. Pattern Matching with Time : Theory and Applications
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM003⟩
tel-00794580v1  Theses
Ludovic Mignot. Des Codes Barres pour les Langages Rationnels
Théorie et langage formel [cs.FL]. Université de Rouen, 2010. Français. ⟨NNT : ⟩