Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9618 |
| Schlagworte: | |
| Online-Zugang: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract |
| Beschreibung: | 1 Online Ressource (XXII, 618 Seiten) Illustrationen |
| ISBN: | 9783319300009 9783319299990 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-30000-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043423019 | ||
| 003 | DE-604 | ||
| 005 | 20190207 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160302s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319300009 |c Online |9 978-3-319-30000-9 | ||
| 020 | |a 9783319299990 |c Print |9 978-3-319-29999-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-30000-9 |2 doi | |
| 035 | |a (OCoLC)946551019 | ||
| 035 | |a (DE-599)BVBBV043423019 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a LATA |n 10. |d 2016 |c Prag |j Verfasser |0 (DE-588)1090797338 |4 aut | |
| 245 | 1 | 0 | |a Language and Automata Theory and Applications |b 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings |c edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (XXII, 618 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9618 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 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 Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 12.03.2016-18.03.2016 |z Prag |2 gnd-content | |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dediu, Adrian-Horia |d 1961- |0 (DE-588)1035442701 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9618 |w (DE-604)BV014880109 |9 9618 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-30000-9 |x Verlag |z URL des Erstveröffentlichers |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=028840911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028840911 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-30000-9 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30000-9 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30000-9 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30000-9 |l UBY01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176018057986048 |
|---|---|
| adam_text | LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL
CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016,
HELD IN PRAGUE, CZECH REPUBLIC, IN MARCH 2016. THE 42 REVISED FULL
PAPERS PRESENTED TOGETHER WITH 5 INVITED TALKS WERE CAREFULLY REVIEWED
AND SELECTED FROM 119 SUBMISSIONS. THE PAPERS COVER THE FOLLOWING
TOPICS: ALGEBRAIC LANGUAGE THEORY; ALGORITHMS FOR SEMI-STRUCTURED DATA
MINING, ALGORITHMS ON AUTOMATA AND WORDS; AUTOMATA AND LOGIC; AUTOMATA
FOR SYSTEM ANALYSIS AND PROGRAM VERIFICATION; AUTOMATA NETWORKS,
CONCURRENCY AND PETRI NETS; AUTOMATIC STRUCTURES; CELLULAR AUTOMATA,
CODES, COMBINATORICS ON WORDS; COMPUTATIONAL COMPLEXITY; DATA AND IMAGE
COMPRESSION; DESCRIPTIONAL COMPLEXITY; DIGITAL LIBRARIES AND DOCUMENT
ENGINEERING; FOUNDATIONS OF FINITE STATE TECHNOLOGY; FOUNDATIONS OF XML;
FUZZY AND ROUGH LANGUAGES; GRAMMATICAL INFERENCE AND ALGORITHMIC
LEARNING; GRAPHS AND GRAPH TRANSFORMATION; LANGUAGE VARIETIES AND
SEMIGROUPS; PARALLEL AND REGULATED REWRITING; PARSING; PATTERNS; STRING
AND COMBINATORIAL ISSUES IN COMPUTATIONAL BIOLOGY AND BIOINFORMATICS;
STRING PROCESSING ALGORITHMS; SYMBOLIC DYNAMICS; TERM REWRITING;
TRANSDUCERS; TREES, TREE LANGUAGES AND TREE AUTOMATA; WEIGHTED AUTOMATA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Dediu, Adrian-Horia 1961- |
| author2_role | edt |
| author2_variant | a h d ahd |
| author_GND | (DE-588)1035442701 |
| author_corporate | LATA Prag |
| author_corporate_role | aut |
| author_facet | Dediu, Adrian-Horia 1961- LATA Prag |
| author_sort | LATA Prag |
| building | Verbundindex |
| bvnumber | BV043423019 |
| classification_tum | DAT 550f DAT 555f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)946551019 (DE-599)BVBBV043423019 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-30000-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03447nmm a2200745zcb4500</leader><controlfield tag="001">BV043423019</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190207 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160302s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319300009</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-30000-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319299990</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-29999-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-30000-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946551019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043423019</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</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="111" ind1="2" ind2=" "><subfield code="a">LATA</subfield><subfield code="n">10.</subfield><subfield code="d">2016</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1090797338</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Language and Automata Theory and Applications</subfield><subfield code="b">10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings</subfield><subfield code="c">edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XXII, 618 Seiten)</subfield><subfield code="b">Illustrationen</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">Volume 9618</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">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</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">Symbolic and Algebraic Manipulation</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=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">12.03.2016-18.03.2016</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="700" ind1="1" ind2=" "><subfield code="a">Dediu, Adrian-Horia</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)1035442701</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9618</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9618</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-30000-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028840911&sequence=000001&line_number=0001&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_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028840911</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30000-9</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30000-9</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30000-9</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30000-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 12.03.2016-18.03.2016 Prag gnd-content |
| genre_facet | Konferenzschrift 12.03.2016-18.03.2016 Prag |
| id | DE-604.BV043423019 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:30Z |
| institution | BVB |
| institution_GND | (DE-588)1090797338 |
| isbn | 9783319300009 9783319299990 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028840911 |
| oclc_num | 946551019 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online Ressource (XXII, 618 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | LATA 10. 2016 Prag Verfasser (DE-588)1090797338 aut Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe Cham Springer [2016] © 2016 1 Online Ressource (XXII, 618 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9618 0302-9743 Computer science Computers Algorithms Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Mathematik Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 12.03.2016-18.03.2016 Prag gnd-content Automatentheorie (DE-588)4003953-5 s Formale Sprache (DE-588)4017848-1 s DE-604 Dediu, Adrian-Horia 1961- (DE-588)1035442701 edt Lecture Notes in Computer Science 9618 (DE-604)BV014880109 9618 https://doi.org/10.1007/978-3-319-30000-9 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings Lecture Notes in Computer Science Computer science Computers Algorithms Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Mathematik Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)1071861417 |
| title | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings |
| title_auth | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings |
| title_exact_search | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings |
| title_full | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| title_fullStr | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| title_full_unstemmed | Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| title_short | Language and Automata Theory and Applications |
| title_sort | language and automata theory and applications 10th international conference lata 2016 prague czech republic march 14 18 2016 proceedings |
| title_sub | 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings |
| topic | Computer science Computers Algorithms Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Mathematik Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Computer science Computers Algorithms Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Informatik Künstliche Intelligenz Mathematik Automatentheorie Formale Sprache Konferenzschrift 12.03.2016-18.03.2016 Prag |
| url | https://doi.org/10.1007/978-3-319-30000-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT lataprag languageandautomatatheoryandapplications10thinternationalconferencelata2016pragueczechrepublicmarch14182016proceedings AT dediuadrianhoria languageandautomatatheoryandapplications10thinternationalconferencelata2016pragueczechrepublicmarch14182016proceedings |