Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9168 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XXII, 440 S.) Ill., graph. Darst. |
| ISBN: | 9783319215006 9783319214993 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21500-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730398 | ||
| 003 | DE-604 | ||
| 005 | 20150806 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319215006 |c Online |9 978-3-319-21500-6 | ||
| 020 | |a 9783319214993 |c Print |9 978-3-319-21499-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-21500-6 |2 doi | |
| 035 | |a (OCoLC)915947650 | ||
| 035 | |a (DE-599)BVBBV042730398 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Developments in Language Theory |b 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. |c edited by Igor Potapov |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XXII, 440 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9168 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Liverpool |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Potapov, Igor |e Sonstige |0 (DE-588)1074848284 |4 oth | |
| 711 | 2 | |a DLT |n 19. |d 2015 |c Liverpool |j Sonstige |0 (DE-588)1074848659 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9168 |w (DE-604)BV014880109 |9 9168 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21500-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161429 | ||
Datensatz im Suchindex
| _version_ | 1804174942015586304 |
|---|---|
| adam_text | DEVELOPMENTS IN LANGUAGE THEORY
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
RECOGNISABLE LANGUAGES OVER MONADS
GARSIDE AND QUADRATIC NORMALISATION: A SURVEY
GRAMMAR-BASED TREE COMPRESSION
ON DECIDABILITY OF INTERMEDIATE LEVELS OF CONCATENATION HIERARCHIES
ERGODIC IN FINITE PERMUTATIONS OF MINIMAL COMPLEXITY
DIVERSE PALINDROMIC FACTORIZATION IS NP-COMPLETE
FACTORIZATION IN FORMAL LANGUAGES
CONSENSUS GAME ACCEPTORS
ON THE SIZE OF TWO-WAY REASONABLE AUTOMATA FOR THE LIVENESS PROBLEM
SQUAREABLE WORDS
COMPLEXITY ANALYSIS: TRANSFORMATION MONOIDS OF FINITE AUTOMATA
PALINDROMIC COMPLEXITY OF TREES
DECIDING PROPER CONJUGACY OF CLASSES OF ONE-SIDED FINITE-TYPE-DYCK
SHIFTS
TRANSFINITE LYNDON WORDS
UNARY PATTERNS UNDER PERMUTATIONS
FINITE AUTOMATA OVER IN FINITE ALPHABETS: TWO MODELS WITH TRANSITIONS
FOR LOCAL CHANGE
ENUMERATION FORMULIN NEUTRAL SETS
ON THE DENSITY OF CONTEXT-FREE AND COUNTER LANGUAGES
STAR-CONTINUOUS KLEENE OMEGA-ALGEBRAS
UNARY PROBABILISTIC AND QUANTUM AUTOMATA ON PROMISE PROBLEMS
GENERALIZATIONS OF CODE LANGUAGES WITH MARGINAL ERRORS
MINIMAL REVERSIBLE DETERMINISTIC FINITE AUTOMATA
MULTI-SEQUENTIAL WORD RELATIONS
THE BOUNDARY OF PREFIX-FREE LANGUAGES
A CONNECTED 3-STATE REVERSIBLE MEALY AUTOMATON CANNOT GENERATE AN
INFINITE BURNSIDE GROUP
PATH CHECKING FOR MTL AND TPTL OVER DATA WORDS
ON DISTINGUISHING NC1 AND NL
SUR MINIMISATION OF AUTOMATA
ON THE COMPLEXITY OF K-PIECEWISE TESTABILITY AND THE DEPTH OF AUTOMATA
INTERVAL EXCHANGE WORDS AND THE QUESTION OF HOF, KNILL, AND SIMON
STATE COMPLEXITY OF NEIGHBOURHOODS AND APPROXIMATE PATTERN MATCHING
DETERMINISTIC ORDERED RESTARTING AUTOMATA THAT COMPUTE FUNCTIONS
WEIGHT ASSIGNMENT LOGIC
COMPLEXITY BOUNDS OF CONSTANT-SPACE QUANTUM COMPUTATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DEVELOPMENTS IN LANGUAGE THEORY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 19TH INTERNATIONAL
CONFERENCE ON DEVELOPMENTS IN LANGUAGE THEORY, DLT 2015, HELD IN
LIVERPOOL, UK. THE 31 PAPERS PRESENTED TOGETHER WITH 5 INVITED TALKS
WERE CAREFULLY REVIEWED AND SELECTED FROM 54 SUBMISSIONS. ITS SCOPE IS
VERY GENERAL AND 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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1074848284 |
| building | Verbundindex |
| bvnumber | BV042730398 |
| classification_tum | DAT 555f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915947650 (DE-599)BVBBV042730398 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-21500-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02919nmm a2200625zcb4500</leader><controlfield tag="001">BV042730398</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150806 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319215006</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21500-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319214993</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21499-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21500-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915947650</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730398</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developments in Language Theory</subfield><subfield code="b">19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.</subfield><subfield code="c">edited by Igor Potapov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXII, 440 S.)</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9168</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Liverpool</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Potapov, Igor</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1074848284</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">19.</subfield><subfield code="d">2015</subfield><subfield code="c">Liverpool</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1074848659</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9168</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9168</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21500-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161429</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Liverpool gnd-content |
| genre_facet | Konferenzschrift 2015 Liverpool |
| id | DE-604.BV042730398 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1074848659 |
| isbn | 9783319215006 9783319214993 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161429 |
| oclc_num | 915947650 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXII, 440 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. edited by Igor Potapov Cham Springer International Publishing 2015 1 Online-Ressource (XXII, 440 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9168 0302-9743 Computer science Computer software Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Formale Sprache (DE-588)4017848-1 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Liverpool gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Potapov, Igor Sonstige (DE-588)1074848284 oth DLT 19. 2015 Liverpool Sonstige (DE-588)1074848659 oth Lecture Notes in Computer Science 9168 (DE-604)BV014880109 9168 https://doi.org/10.1007/978-3-319-21500-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. Lecture Notes in Computer Science Computer science Computer software Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Formale Sprache (DE-588)4017848-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4196735-5 (DE-588)1071861417 |
| title | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. |
| title_auth | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. |
| title_exact_search | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. |
| title_full | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. edited by Igor Potapov |
| title_fullStr | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. edited by Igor Potapov |
| title_full_unstemmed | Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. edited by Igor Potapov |
| title_short | Developments in Language Theory |
| title_sort | developments in language theory 19th international conference dlt 2015 liverpool uk july 27 30 2015 proceedings |
| title_sub | 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. |
| topic | Computer science Computer software Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Formale Sprache (DE-588)4017848-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Computer science Computer software Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Formale Sprache Theoretische Informatik Konferenzschrift 2015 Liverpool |
| url | https://doi.org/10.1007/978-3-319-21500-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161429&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT potapovigor developmentsinlanguagetheory19thinternationalconferencedlt2015liverpoolukjuly27302015proceedings AT dltliverpool developmentsinlanguagetheory19thinternationalconferencedlt2015liverpoolukjuly27302015proceedings |