![Developments in language theory [electronic resource] : 21st international conference, DLT 2017, Liège, Belgium, August 7-11, 2017 : proceedings](https://image.aladin.co.kr/product/11133/67/cover/3319628089_2.jpg)
Developments in language theory [electronic resource] : 21st international conference, DLT 2017, Liège, Belgium, August 7-11, 2017 : proceedings
| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045990064 | |
| 005 | 20190726103249 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 190708s2017 sz a ob 101 0 eng d | |
| 020 | ▼a 9783319628080 | |
| 020 | ▼a 9783319628097 (e-book) | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 4 | ▼a QA76.9.L63 |
| 082 | 0 4 | ▼a 005.131 ▼2 23 |
| 084 | ▼a 005.131 ▼2 DDCK | |
| 090 | ▼a 005.131 | |
| 245 | 0 0 | ▼a Developments in language theory ▼h [electronic resource] : ▼b 21st international conference, DLT 2017, Liège, Belgium, August 7-11, 2017 : proceedings / ▼c Émilie Charlier, Julien Leroy, Michel Rigo, editors. |
| 260 | ▼a Cham : ▼b Springer, ▼c c2017. | |
| 300 | ▼a 1 online resource (xxiii, 379 p.) : ▼b ill. | |
| 490 | 1 | ▼a Theoretical Computer Science and General Issues ; ▼v 10396 |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 505 | 0 | ▼a Combinatorial and algebraic properties of words and languages -- Grammars acceptors and transducers for strings, trees, graphics, 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 -- Celluar automata -- Bio-inspiredcomputing -- Quantum computing. |
| 520 | ▼a This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars acceptors and transducers for strings, trees, graphics, 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; celluar automata; bio-inspiredcomputing; quantum computing. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 650 | 0 | ▼a Formal languages ▼v Congresses. |
| 650 | 0 | ▼a Mathematics ▼x Logic. |
| 700 | 1 | ▼a Charlier, Émilie. |
| 700 | 1 | ▼a Leroy, Julien. |
| 700 | 1 | ▼a Rigo, Michel. |
| 711 | 2 | ▼a Conference on Developments in Language Theory ▼n (21st : ▼d 2017 : ▼c Liège, Belgium). |
| 830 | 0 | ▼a Theoretical Computer Science and General Issues ; ▼v 10396. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-319-62809-7 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 005.131 | 등록번호 E14015606 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liege, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars acceptors and transducers for strings, trees, graphics, 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; celluar automata; bio-inspiredcomputing; quantum computing.
정보제공 :
목차
·Combinatorial and algebraic properties of words and languages ·Grammars acceptors and transducers for strings, trees, graphics, 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 ·Celluar automata ·Bio-inspiredcomputing ·Quantum computing.