Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013 proceedings
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, France, in June 2013. The 34 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference in...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013 : proceedings / edited by Marie-Pierre Béal, Olivier Carton |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
Collection : | Theoretical computer science and general issues (Online) ; 7907 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Sujets : | |
Documents associés : | Autre format:
Developments in Language Theory Autre format: Developments in Language Theory |
LEADER | 06119clm a2200673 4500 | ||
---|---|---|---|
001 | PPN170492664 | ||
003 | http://www.sudoc.fr/170492664 | ||
005 | 20241001155300.0 | ||
010 | |a 978-3-642-38771-5 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-38771-5 |2 DOI |
035 | |a (OCoLC)854500371 | ||
035 | |a Springer978-3-642-38771-5 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-38771-5 | ||
035 | |a Springer-11645-978-3-642-38771-5 | ||
100 | |a 20130704d2013 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Developments in language theory |e 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013 |e proceedings |f edited by Marie-Pierre Béal, Olivier Carton | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2013 | |
225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7907 | |
330 | |a This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, France, in June 2013. The 34 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis; polyominoes and bidimensional patterns; cryptography; concurrency; cellular automata; bio-inspired computing; and quantum computing. | ||
359 | 1 | |a Ultrametric Finite Automata and Turing Machines -- Recompression: Word Equations and Beyond -- Joint Spectral Characteristics: A Tale of Three Disciplines -- Unambiguous Finite Automata -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages -- Two Dimensional Prefix Codes of Pictures -- Adjacent Ordered Multi-Pushdown Systems -- Cuts in Regular Expressions -- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem -- On the Asymptotic Abelian Complexity of Morphic Words -- Strict Bounds for Pattern Avoidance -- A Fresh Approach to Learning Register Automata -- Suffixes, Conjugates and Lyndon Words -- Extremal Words in the Shift Orbit Closure of a Morphic Sequence -- Inner Palindromic Closure -- On the Dual Post Correspondence Problem -- Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata -- A Coloring Problem for Sturmian and Episturmian Words -- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages -- Operational Characterization of Scattered MCFLs -- Abelian Repetitions in Sturmian Words -- Composition Closure of -Free Linear Extended Top-Down Tree Transducers -- Subword Complexity and k-Synchronization -- Some Decision Questions Concerning the Time Complexity of Language Acceptors -- Unambiguous Conjunctive Grammars over a One-Letter Alphabet -- Alternative Automata Characterization of Piecewise Testable Languages -- Finite Automata with Advice Tapes -- One-Way Multi-Head Finite Automata with Pebbles But No States -- Regular Expressions with Binding over Data Words for Querying Graph Databases -- Factorizations and Universal Automaton of Omega Languages -- Deciding Determinism of Unary Languages Is coNP-Complete -- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure -- 3-Abelian Cubes Are Avoidable on Binary Alphabets -- Repetition Avoidance in Circular Factors -- Operator Precedence -Languages -- New Results on Deterministic Sgraffito Automata -- On the Number of AbelianBordered Words -- Proof of a Phase Transition in Probabilistic Cellular Automata -- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth. | |
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7907 | |
452 | | | |t Developments in Language Theory |b Texte imprimé |y 9783642387708 | |
452 | | | |t Developments in Language Theory |b Texte imprimé |y 9783642387722 | |
610 | 1 | |a Computer Science | |
610 | 2 | |a Computation by Abstract Devices | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Algorithm Analysis and Problem Complexity | |
610 | 2 | |a Discrete Mathematics in Computer Science | |
610 | 2 | |a Formal Languages and Automata Theory | |
610 | 2 | |a Algorithms | |
610 | 1 | |a Theory of Computation | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
676 | |a 004.0151 |v 23 | ||
680 | |a QA75.5-76.95 | ||
700 | 1 | |a Beal |b Marie-Pierre |4 651 | |
701 | 1 | |a Carton |b Olivier |4 651 | |
801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
856 | 4 | |u https://doi.org/10.1007/978-3-642-38771-5 |z Accès sur la plateforme de l'éditeur | |
856 | 4 | |u https://doi.org/10.1007/978-3-642-38771-5 |z Accès sur la plateforme de l'éditeur (Springer) | |
856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BC59MRF6-H |z Accès sur la plateforme Istex | |
856 | 4 | |5 441099901:830859276 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-38771-5 | |
915 | |5 441099901:830859276 |b SPRING13-00931 | ||
930 | |5 441099901:830859276 |b 441099901 |j g | ||
991 | |5 441099901:830859276 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
997 | |a NUM |b SPRING13-00931 |d NUMpivo |e EM |s d | ||
998 | |a 978760 |