Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All cu...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2710 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Developments in language theory, 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, proceedings, Zoltán Ésik, Zoltán Fülöp (eds.), Berlin, Springer, 2003, 1 vol. (XI-436 p.), Lecture notes in computer science, 3-540-40434-1 • Developments in Language Theory, Texte imprimé, 9783662197844 |
| LEADER | 04862nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 969154 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15516872X | ||
| 020 | |a 9783540450078 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a DLT 2003 |n (7th |c :Szeged, HU). | |
| 245 | 1 | 0 | |a Developments in language theory : |b 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings |c [edited by] Zoltán Ésik, Zoltán Fülöp. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2710 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Presentations -- Quantum Computing: 1-Way Quantum Automata -- An Automata-Theoretic Approach to Software Verification -- Comments on Complete Sets of Tree Automata -- On a Conjecture of Schnoebelen -- Restarting Automata and Their Relations to the Chomsky Hierarchy -- Test Sets for Large Families of Languages -- Complexity Theory Made Easy -- Contributions -- Synchronizing Monotonic Automata -- Covering Problems from a Formal Language Point of View -- Regular Languages Generated by Reflexive Finite Splicing Systems -- The Myhill-Nerode Theorem for Recognizable Tree Series -- Generating Series of the Trace Group -- Residual Finite Tree Automata -- From Glushkov WFAs to Rational Expressions -- NFA Reduction Algorithms by Means of Regular Inequalities -- Tile Rewriting Grammars -- Distributed Pushdown Automata Systems: Computational Power -- On Well Quasi-orders on Languages -- Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models -- On Enumeration of Müller Automata -- Branching Grammars: A Generalization of ET0L Systems -- Learning a Regular Tree Language from a Teacher -- On Three Classes of Automata-Like P Systems -- Computing Languages by (Bounded) Local Sets -- About Duval s Conjecture -- Computation with Absolutely No Space Overhead -- Deleting String Rewriting Systems Preserve Regularity -- On Deterministic Finite Automata and Syntactic Monoid Size, Continued -- Flip-Pushdown Automata: Nondeterminism is Better than Determinism -- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton -- Minimizing Finite Automata Is Computationally Hard -- Boolean Grammars -- Syntactic Semiring and Universal Automaton -- Alphabetic Pushdown Tree Transducers. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages formels | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fülöp, Zoltan, |d 1955- |4 pbd | |
| 700 | 1 | |a Ésik, Zoltán. |4 pbd | |
| 776 | 0 | |0 074428586 |t Developments in language theory |o 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 |o proceedings |f Zoltán Ésik, Zoltán Fülöp (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (XI-436 p.) |s Lecture notes in computer science |z 3-540-40434-1 | |
| 776 | 0 | |t Developments in Language Theory |b Texte imprimé |z 9783662197844 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45007-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2ZQ7LSPZ-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750677244 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45007-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754025357 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45007-6 |z Accès INSA CVL | |
| 997 | |0 969154 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||