Developments in language theory: 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Berlin
Springer
[2016]
|
Schriftenreihe: | Lecture notes in computer science
9840 |
Schlagworte: | |
Beschreibung: | XVII, 405 Seiten Illustrationen, Diagramme |
ISBN: | 9783662531310 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV043718014 | ||
003 | DE-604 | ||
007 | t| | ||
008 | 160815s2016 xx a||| |||| 10||| eng d | ||
020 | |a 9783662531310 |9 978-3-662-53131-0 | ||
035 | |a (OCoLC)957506629 | ||
035 | |a (DE-599)BVBBV043718014 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-83 | ||
082 | 0 | |a 004.0151 |2 23 | |
084 | |a DAT 555f |2 stub | ||
111 | 2 | |a DLT |n 20. |d 2016 |c Montréal |j Verfasser |0 (DE-588)1111059705 |4 aut | |
245 | 1 | 0 | |a Developments in language theory |b 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings |c Srečko Brlek, Christophe Reutenauer (eds.) |
264 | 1 | |a Berlin |b Springer |c [2016] | |
264 | 4 | |c © 2016 | |
300 | |a XVII, 405 Seiten |b Illustrationen, Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 9840 | |
650 | 4 | |a Computer science | |
650 | 4 | |a Computers | |
650 | 4 | |a Algorithms | |
650 | 4 | |a Computer logic | |
650 | 4 | |a Mathematical logic | |
650 | 4 | |a Computer science / Mathematics | |
650 | 4 | |a Computational linguistics | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Computation by Abstract Devices | |
650 | 4 | |a Logics and Meanings of Programs | |
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 Language Translation and Linguistics | |
650 | 4 | |a Informatik | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-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 |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 Brlek, Srečko |0 (DE-588)173933777 |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-53132-7 |
830 | 0 | |a Lecture notes in computer science |v 9840 |w (DE-604)BV000000607 |9 9840 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029130135 |
Datensatz im Suchindex
_version_ | 1820875690341302272 |
---|---|
adam_text | |
any_adam_object | |
author2 | Brlek, Srečko |
author2_role | edt |
author2_variant | s b sb |
author_GND | (DE-588)173933777 |
author_corporate | DLT Montréal |
author_corporate_role | aut |
author_facet | Brlek, Srečko DLT Montréal |
author_sort | DLT Montréal |
building | Verbundindex |
bvnumber | BV043718014 |
classification_rvk | SS 4800 |
classification_tum | DAT 555f |
ctrlnum | (OCoLC)957506629 (DE-599)BVBBV043718014 |
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 |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043718014</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160815s2016 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662531310</subfield><subfield code="9">978-3-662-53131-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)957506629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043718014</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-83</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="111" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">20.</subfield><subfield code="d">2016</subfield><subfield code="c">Montréal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1111059705</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developments in language theory</subfield><subfield code="b">20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings</subfield><subfield code="c">Srečko Brlek, Christophe Reutenauer (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</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">XVII, 405 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">9840</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">Computer logic</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">Computational linguistics</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">Logics and Meanings of Programs</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">Language Translation and Linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="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="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">Brlek, Srečko</subfield><subfield code="0">(DE-588)173933777</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-53132-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9840</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9840</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029130135</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV043718014 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:19:38Z |
institution | BVB |
institution_GND | (DE-588)1111059705 |
isbn | 9783662531310 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029130135 |
oclc_num | 957506629 |
open_access_boolean | |
owner | DE-83 |
owner_facet | DE-83 |
physical | XVII, 405 Seiten Illustrationen, Diagramme |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | DLT 20. 2016 Montréal Verfasser (DE-588)1111059705 aut Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings Srečko Brlek, Christophe Reutenauer (eds.) Berlin Springer [2016] © 2016 XVII, 405 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9840 Computer science Computers Algorithms Computer logic Mathematical logic Computer science / Mathematics Computational linguistics Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Language Translation and Linguistics Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Brlek, Srečko (DE-588)173933777 edt Erscheint auch als Online-Ausgabe 978-3-662-53132-7 Lecture notes in computer science 9840 (DE-604)BV000000607 9840 |
spellingShingle | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings Lecture notes in computer science Computer science Computers Algorithms Computer logic Mathematical logic Computer science / Mathematics Computational linguistics Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Language Translation and Linguistics Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4017848-1 (DE-588)1071861417 |
title | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings |
title_auth | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings |
title_exact_search | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings |
title_full | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings Srečko Brlek, Christophe Reutenauer (eds.) |
title_fullStr | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings Srečko Brlek, Christophe Reutenauer (eds.) |
title_full_unstemmed | Developments in language theory 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings Srečko Brlek, Christophe Reutenauer (eds.) |
title_short | Developments in language theory |
title_sort | developments in language theory 20th international conference dlt 2016 montreal canada july 25 28 2016 proceedings |
title_sub | 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016 : proceedings |
topic | Computer science Computers Algorithms Computer logic Mathematical logic Computer science / Mathematics Computational linguistics Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Language Translation and Linguistics Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
topic_facet | Computer science Computers Algorithms Computer logic Mathematical logic Computer science / Mathematics Computational linguistics Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Language Translation and Linguistics Informatik Mathematik Theoretische Informatik Formale Sprache Konferenzschrift |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT dltmontreal developmentsinlanguagetheory20thinternationalconferencedlt2016montrealcanadajuly25282016proceedings AT brleksrecko developmentsinlanguagetheory20thinternationalconferencedlt2016montrealcanadajuly25282016proceedings |