Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5583 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035607758 | ||
| 003 | DE-604 | ||
| 005 | 20090825 | ||
| 007 | t | ||
| 008 | 090708s2009 d||| |||| 10||| eng d | ||
| 015 | |a 09,N24,0017 |2 dnb | ||
| 016 | 7 | |a 994479441 |2 DE-101 | |
| 020 | |a 9783642027369 |c PB. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.) |9 978-3-642-02736-9 | ||
| 020 | |a 3642027369 |9 3-642-02736-9 | ||
| 024 | 3 | |a 9783642027369 | |
| 035 | |a (OCoLC)422688772 | ||
| 035 | |a (DE-599)DNB994479441 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Developments in language theory |b 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings |c Volker Diekert ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 2009 | |
| 300 | |a XIII, 501 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5583 | |
| 650 | 4 | |a Formale Sprache - Kongress - Stuttgart <2009> | |
| 650 | 4 | |a Theoretische Informatik - Kongress - Stuttgart <2009> | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 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 |y 2009 |z Stuttgart |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 Diekert, Volker |d 1955- |e Sonstige |0 (DE-588)129845353 |4 oth | |
| 711 | 2 | |a DLT |n 13 |d 2009 |c Stuttgart |j Sonstige |0 (DE-588)16013821-8 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5583 |w (DE-604)BV000000607 |9 5583 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017662945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017662945 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-5583 |
|---|---|
| DE-BY-TUM_katkey | 1698187 |
| DE-BY-TUM_media_number | 040010154106 |
| _version_ | 1816712971867389952 |
| adam_text | IMAGE 1
TABLE OF CONTENTS
INVITED TALKS
FACTORIZATION FORESTS 1
MIKOLAJ BOJANCZYK
WEIGHTED VERSUS PROBABILISTIC LOGICS 18
BENEDIKT BOLLIG AND PAUL GASTIN
POST CORRESPONDENCE PROBLEM AND SMALL DIMENSIONAL MATRICES 39 TERO HARJU
SIZE COMPLEXITY OF TWO-WAY FINITE AUTOMATA 47
CHRISTOS A. KAPOUTSIS
MATRIX MORTALITY AND THE CERNY-PIN CONJECTURE 67
JORGE ALMEIDA AND BENJAMIN STEINBERG
REGULAR PAPERS
A QUADRATIC UPPER BOUND ON THE SIZE OF A SYNCHRONIZING WORD IN
ONE-CLUSTER AUTOMATA 81
MARIE-PIERRE BEAL AND DOMINIQUE PERRIN
REGULAR LANGUAGES DEFINABLE BY MAJORITY QUANTIFIERS WITH TWO VARIABLES
91
CHRISTOPH BEHLE, ANDREAS KREBS, AND STEPHANIE REIFFERSCHEID
THE INCLUSION PROBLEM OF CONTEXT-FREE LANGUAGES: SOME TRACTABLE CASES
103
ALBERTO BERTONI, CHRISTIAN CHOFFRUT, AND ROBERTO RADICIONI
ON T HE C O M P L E X I TY OF D E C I D I NG A V O I D A B I L I TY OF S
E TS OF P A R T I AL W O R DS . .. 1 13
BRANDON BLAKELEY, FRANCINE BLANCHET-SADRI, JOSH GUNTER, AND NARAD
RAMPERSAD
CLOSURES IN FORMAL LANGUAGES AND KURATOWSKI S THEOREM 125 JANUSZ
BRZOZOWSKI, ELYOT GRANT, AND JEFFREY SHALLIT
RICH AND PERIODIC-LIKE WORDS 145
MICHELANGELO BUCCI, ALDO DE LUCA, AND ALESSANDRO DE LUCA
TRACES OF CONTROL-FLOW GRAPHS 156
SIMONE CAMPANONI AND STEFANO CRESPI REGHIZZI
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994479441
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
LEFT AND RIGHT SYNCHRONOUS RELATIONS 170
OLIVIER CARTON
AN EXTENSION OF THE LYNDON SCHIITZENBERGER RESULT TO PSEUDOPERIODIC
WORDS 183
ELENA CZEIZLER, EUGEN CZEIZLER, LILA KARI, AND SHINNOSUKE SEKI
ASYMPTOTIC CELLULAR COMPLEXITY 195
BRUNO DURAND AND VICTOR POUPET
STRONGLY REGULAR GRAMMARS AND REGULAR APPROXIMATION OF CONTEXT-FREE
LANGUAGES 207
OMER EGECIOGLU
POWERS OF REGULAR LANGUAGES 221
SZILDRD ZSOLT FAZEKAS
EXISTENCE AND NONEXISTENCE OF DESCRIPTIVE PATTERNS 228
DOMINIK D. FREYDENBERGER AND DANIEL REIDENBACH
ON STATELESS MULTIHEAD FINITE AUTOMATA AND MULTIHEAD PUSHDOWN AUTOMATA
240
PIERLUIGI FRISCO AND OSCAR H. IBARRA
ON NEGATIVE BASES 252
CHRISTIANE FROUGNY AND ANNA CHIARA LAI
CRUCIAL WORDS FOR ABELIAN POWERS 264
AMY GLEN, BJARNI V. HALLDORSSON, AND SERGEY KITAEV
TIGHT BOUNDS ON THE DESCRIPTIONAL COMPLEXITY OF REGULAR EXPRESSIONS 276
HERMANN GRUBER AND MARKUS HOLZER
SUBSHIFTS, LANGUAGES AND LOGIC 288
EMMANUEL JEANDEL AND GUILLAUME THEYSSIER
MAGIC NUMBERS AND TERNARY ALPHABET 300
GALINA JIRDSKOVD
THE PUMPING LEMMA FOR WELL-NESTED MULTIPLE CONTEXT-FREE LANGUAGES 312
MAKOTO KANAZAWA
THE SUPPORT OF A RECOGNIZABLE SERIES OVER A ZERO-SUM FREE, COMMUTATIVE
SEMIRING IS RECOGNIZABLE 326
DANIEL KIRSTEN
A GAME-THEORETIC CHARACTERIZATION OF BOOLEAN GRAMMARS 334 VASSILIS
KOUNTOURIOTIS, CHRISTOS NOMIKOS, AND PANOS RONDOGIANNIS
IMAGE 3
TABLE OF CONTENTS XIII
WORD EQUATIONS WITH ONE UNKNOWN 348
MARKKU LAINE AND WOJCIECH PLANDOWSKI
ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS 360
TOMMI LEHTINEN AND ALEXANDER OKHOTIN
SOME REMARKS ON SUPERPOSITION BASED ON WATSON-CRICK-LIKE COMPLEMENTARITY
372
FLORIN MANEA, VICTOR MITRANA, AND JOSE M. SEMPERE
A WEIGHTED /X-CALCULUS ON WORDS 384
INGMAR MEINECKE
BRANCHING-TIME TEMPORAL LOGICS WITH MINIMAL MODEL QUANTIFIERS 396 FABIO
MOGAVERO AND ANIELLO MURANO
SIMULATIONS BY TIME-BOUNDED COUNTER MACHINES 410
HOLGER PETERSEN
WEIGHTED TIMED MSO LOGICS 419
KARIN QUAAS
BALANCED WORDS HAVING SIMPLE BURROWS-WHEELER TRANSFORM 431 ANTONIO
RESTIVO AND GIOVANNA ROSONE
ON THE COMPLEXITY OF HMELEVSKII S THEOREM AND SATISFIABILITY OF THREE
UNKNOWN EQUATIONS 443
ALEKSI SAARELA
DEFINABILITY IN THE INFIX ORDER ON WORDS 454
OLEG V. KUDINOV AND VICTOR L. SELIVANOV
TWO-SIDED BOUNDS FOR THE GROWTH RATES OF POWER-FREE LANGUAGES 466 ARSENY
M. SHUR
ON THE DECIDABILITY OF THE EQUIVALENCE FOR A CERTAIN CLASS OF
TRANSDUCERS (EXTENDED ABSTRACT) 478
RODRIGO DE SOUZA
ERASING IN PETRI NET LANGUAGES AND MATRIX GRAMMARS 490
GEORG ZETZSCHE
AUTHOR INDEX 503
|
| any_adam_object | 1 |
| author_GND | (DE-588)129845353 |
| building | Verbundindex |
| bvnumber | BV035607758 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.3 |
| callnumber-search | QA267.3 |
| callnumber-sort | QA 3267.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f |
| ctrlnum | (OCoLC)422688772 (DE-599)DNB994479441 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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>02263nam a2200529 cb4500</leader><controlfield tag="001">BV035607758</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090825 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090708s2009 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N24,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994479441</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642027369</subfield><subfield code="c">PB. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02736-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642027369</subfield><subfield code="9">3-642-02736-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642027369</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)422688772</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994479441</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developments in language theory</subfield><subfield code="b">13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings</subfield><subfield code="c">Volker Diekert ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 501 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5583</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Sprache - Kongress - Stuttgart <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik - Kongress - Stuttgart <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</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="y">2009</subfield><subfield code="z">Stuttgart</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">Diekert, Volker</subfield><subfield code="d">1955-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)129845353</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">13</subfield><subfield code="d">2009</subfield><subfield code="c">Stuttgart</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16013821-8</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">5583</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5583</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=017662945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017662945</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Stuttgart gnd-content |
| genre_facet | Konferenzschrift 2009 Stuttgart |
| id | DE-604.BV035607758 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:26:05Z |
| institution | BVB |
| institution_GND | (DE-588)16013821-8 |
| isbn | 9783642027369 3642027369 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017662945 |
| oclc_num | 422688772 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XIII, 501 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings Lecture Notes in Computer Science Formale Sprache - Kongress - Stuttgart <2009> Theoretische Informatik - Kongress - Stuttgart <2009> Formal languages Congresses 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 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings |
| title_auth | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings |
| title_exact_search | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings |
| title_full | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings Volker Diekert ... (eds.) |
| title_fullStr | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings Volker Diekert ... (eds.) |
| title_full_unstemmed | Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings Volker Diekert ... (eds.) |
| title_short | Developments in language theory |
| title_sort | developments in language theory 13th international conference dlt 2009 stuttgart germany june 30 july 3 2009 proceedings |
| title_sub | 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings |
| topic | Formale Sprache - Kongress - Stuttgart <2009> Theoretische Informatik - Kongress - Stuttgart <2009> Formal languages Congresses Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Formale Sprache - Kongress - Stuttgart <2009> Theoretische Informatik - Kongress - Stuttgart <2009> Formal languages Congresses Theoretische Informatik Formale Sprache Konferenzschrift 2009 Stuttgart |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017662945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT diekertvolker developmentsinlanguagetheory13thinternationalconferencedlt2009stuttgartgermanyjune30july32009proceedings AT dltstuttgart developmentsinlanguagetheory13thinternationalconferencedlt2009stuttgartgermanyjune30july32009proceedings |