Developments in language theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6224 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 446 S. graph. Darst. |
| ISBN: | 9783642144547 3642144543 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036606242 | ||
| 003 | DE-604 | ||
| 005 | 20100927 | ||
| 007 | t| | ||
| 008 | 100809s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N25 |2 dnb | ||
| 016 | 7 | |a 1003553346 |2 DE-101 | |
| 020 | |a 9783642144547 |c PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-14454-7 | ||
| 020 | |a 3642144543 |9 3-642-14454-3 | ||
| 024 | 3 | |a 9783642144547 | |
| 028 | 5 | 2 | |a 80018140 |
| 035 | |a (OCoLC)658324871 | ||
| 035 | |a (DE-599)DNB1003553346 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 555f |2 stub | ||
| 245 | 1 | 0 | |a Developments in language theory |b 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings |c Yuan Gao ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 446 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6224 | |
| 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 2010 |z London Ontario |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 Gao, Yuan |e Sonstige |0 (DE-588)142007773 |4 oth | |
| 711 | 2 | |a DLT |n 14 |d 2010 |c London, Ontario |j Sonstige |0 (DE-588)16076951-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6224 |w (DE-604)BV000000607 |9 6224 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3493198&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=020526627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020526627 | |
Datensatz im Suchindex
| _version_ | 1820875251544752128 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS REACTION SYSTEMS: A MODEL OF COMPUTATION
INSPIRED BY BIOCHEMISTRY 1 ANDRZEJ EHRENFEUCHT AND GRZEGORZ ROZENBERG A
BRIEF EXCURSION INSIDE THE CLASS OF TILING RECOGNIZABLE TWO-DIMENSIONAL
LANGUAGES 4 DORA GIAMMARRESI THE COMPLEXITY OF REGULAR (-LIKE)
EXPRESSIONS 16 MARKUS HOLZER AND MARTIN KUTRIB ON DECISION PROBLEMS FOR
SIMPLE AND PARAMETERIZED MACHINES 31 OSCAR H. IBARRA DNA COMPUTING AND
ITS IMPLICATIONS FOR THEORETICAL COMPUTER SCIENCE 32 LILA KARI
NUMERATION SYSTEMS: A LINK BETWEEN NUMBER THEORY AND FORMAL LANGUAGE
THEORY 33 MICHEL RIGO REGULAR PAPERS ALGORITHMIC PROPERTIES OF
MILLSTREAM SYSTEMS 54 SUNA BENSCH, HENRIK BJOERKLUND, AND FRANK DREWES ON
A CONJECTURE BY CARPI AND D'ALESSANDRO 66 MIKHAIL V. BERLINKOV LINKING
ALGEBRAIC OBSERVATIONAL EQUIVALENCE AND BISIMULATION 76 MOUHEBEDDINE
BERRIMA AND NARJES BEN RAJEB UNDECIDABILITY AND HIERARCHY RESULTS FOR
PARALLEL COMMUNICATING FINITE AUTOMATA 88 HENNING BORDIHN, MARTIN
KUTRIB, AND ANDREAS MALCHER INCLUSION PROBLEMS FOR PATTERNS WITH A
BOUNDED NUMBER OF VARIABLES 100 JOACHIM BREMER AND DOMINIK D.
FREYDENBERGER BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003553346
DIGITALISIERT DURCH X TABLE OF CONTENTS ON THE AVERAGE NUMBER OF STATES
OF PARTIAL DERIVATIVE AUTOMATA 112 SABINE BRODA, ANTONIO MACHIAVELO,
NELMA MOREIRA, AND ROGERIO REIS ON THE HYBRID CERNY-ROAD COLORING
PROBLEM AND HAMILTONIAN PATHS 124 ARTURO CARPI AND FLAVIO D'ALESSANDRO
COMPUTING BLOCKER SETS FOR THE REGULAR POST EMBEDDING PROBLEM 136 PIERRE
CHAMBART AND PHILIPPE SCHNOEBELEN RANKERS OVER INFINITE WORDS (EXTENDED
ABSTRACT) 148 LUC DARTOIS, MANFRED KUFLEITNER, AND ALEXANDER LAUSER
KLEENE AND BUCHI THEOREMS FOR WEIGHTED AUTOMATA AND MULTI-VALUED LOGICS
OVER ARBITRARY BOUNDED LATTICES 160 MANFRED DROSTE AND HEIKO VOGLER ON
MUELLER CONTEXT-FREE GRAMMARS 173 ZOLTAN ESIK AND SZABOLCS IVAN
MINIMIZATION OF DETERMINISTIC BOTTOM-UP TREE TRANSDUCERS 185 SYLVIA
FRIESE, HELMUT SEIDL, AND SEBASTIAN MANETH TWO-WAY UNARY AUTOMATA VERSUS
LOGARITHMIC SPACE 197 VILIAM GEFFERT AND GIOVANNI PIGHIZZINI ON THE
PERIODICITY OF MORPHIC WORDS 209 VESA HALAVA, TERO HARJU, TOMI KAERKI,
AND MICHEL RIGO COMPRESSED CONJUGACY AND THE WORD PROBLEM FOR OUTER
AUTOMORPHISM GROUPS OF GRAPH GROUPS 218 NIKO HAUBOLD, MARKUS LOHREY, AND
CHRISTIAN MATHISSEN USING LIGHT TO IMPLEMENT PARALLEL BOOLEAN ALGEBRA
231 TOM HEAD PERIODICITY IN TILINGS 243 EMMANUEL TABLE OF CONTENTS XI
AROUND DOT DEPTH TWO 303 KAMAL LODAYA, PARITOSH K. PANDYA, AND SIMONI S.
SHAH INPUT PRODUCTS FOR WEIGHTED EXTENDED TOP-DOWN TREE TRANSDUCERS .
316 ANDREAS MALETTI REGULAR HEDGE LANGUAGE FACTORIZATION REVISITED 328
MIRCEA MARIN AND TEMUR KUTSIA FAST PARSING FOR BOOLEAN GRAMMARS: A
GENERALIZATION OF VALIANT'S ALGORITHM 340 ALEXANDER OKHOTIN ON
LEXICALIZED WEIL-BEHAVED RESTARTING AUTOMATA THAT ARE MONOTONE 352
FRIEDRICH OTTO, MARTIN PLATEK, AND FRANTISEK MRAZ ON A POWERFUL CLASS OF
NON-UNIVERSAL P SYSTEMS WITH ACTIVE MEMBRANES 364 ANTONIO E. PORRECA,
ALBERTO LEPORATI, AND CLAUDIO ZANDRON STATE COMPLEXITY OF PREFIX,
SUFFIX, BIFIX AND INFIX OPERATORS ON REGULAR LANGUAGES 376 ELENA V.
PRIBAVKINA AND EMANUELE RODARO RESTRICTED AMBIGUITY OF ERASING MORPHISMS
387 DANIEL REIDENBACH AND JOHANNES C. SCHNEIDER AUTOMATA WITH EXTREMAL
MINIMALITY CONDITIONS 399 ANTONIO RESTIVO AND ROBERTO VAGLICA ON THE
EXISTENCE OF MINIMAL /3-POWERS 411 ARSENY M. SHUR THE AVERAGING TRICK
AND THE CERNY CONJECTURE 423 BENJAMIN STEINBERG SHORT PAPERS
PSEUDO-POWER AVOIDANCE 432 EHSAN CHINIFOROOSHAN, ULA KARI, AND ZHI XU O
XII TABLE OF CONTENTS ON LOOKAHEAD HIERARCHIES FOR MONOTONE AND
DETERMINISTIC RESTARTING AUTOMATA WITH AUXILIARY SYMBOLS (EXTENDED
ABSTRACT) 440 NATALIE SCHLUETER JOINT TOPOLOGIES FOR FINITE AND INFINITE
WORDS 442 LUDWIG STAIGER AUTHOR INDEX 445 |
| any_adam_object | 1 |
| author_GND | (DE-588)142007773 |
| building | Verbundindex |
| bvnumber | BV036606242 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f |
| ctrlnum | (OCoLC)658324871 (DE-599)DNB1003553346 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036606242</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100927</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100809s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003553346</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642144547</subfield><subfield code="c">PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-14454-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642144543</subfield><subfield code="9">3-642-14454-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642144547</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80018140</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)658324871</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003553346</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</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">14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings</subfield><subfield code="c">Yuan Gao ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 446 S.</subfield><subfield code="b">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">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">6224</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">2010</subfield><subfield code="z">London Ontario</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">Gao, Yuan</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)142007773</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">14</subfield><subfield code="d">2010</subfield><subfield code="c">London, Ontario</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16076951-6</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">6224</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6224</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3493198&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020526627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020526627</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 London Ontario gnd-content |
| genre_facet | Konferenzschrift 2010 London Ontario |
| id | DE-604.BV036606242 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:39Z |
| institution | BVB |
| institution_GND | (DE-588)16076951-6 |
| isbn | 9783642144547 3642144543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020526627 |
| oclc_num | 658324871 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XII, 446 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings Yuan Gao ... (eds.) Berlin [u.a.] Springer 2010 XII, 446 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6224 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 London Ontario gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Gao, Yuan Sonstige (DE-588)142007773 oth DLT 14 2010 London, Ontario Sonstige (DE-588)16076951-6 oth Lecture notes in computer science 6224 (DE-604)BV000000607 6224 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3493198&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020526627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings Lecture notes in computer science 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 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings |
| title_auth | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings |
| title_exact_search | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings |
| title_full | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings Yuan Gao ... (eds.) |
| title_fullStr | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings Yuan Gao ... (eds.) |
| title_full_unstemmed | Developments in language theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings Yuan Gao ... (eds.) |
| title_short | Developments in language theory |
| title_sort | developments in language theory 14th international conference dlt 2010 london on canada august 17 20 2010 proceedings |
| title_sub | 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Theoretische Informatik Formale Sprache Konferenzschrift 2010 London Ontario |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3493198&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020526627&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gaoyuan developmentsinlanguagetheory14thinternationalconferencedlt2010londononcanadaaugust17202010proceedings AT dltlondonontario developmentsinlanguagetheory14thinternationalconferencedlt2010londononcanadaaugust17202010proceedings |