Language and automata theory and applications: 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7810 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 580 S. graph. Darst. |
| ISBN: | 9783642370632 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041066027 | ||
| 003 | DE-604 | ||
| 005 | 20140227 | ||
| 007 | t| | ||
| 008 | 130604s2013 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 1031344624 |2 DE-101 | |
| 020 | |a 9783642370632 |c kart. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.) |9 978-3-642-37063-2 | ||
| 035 | |a (OCoLC)840568950 | ||
| 035 | |a (DE-599)DNB1031344624 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Language and automata theory and applications |b 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings |c Adrian-Horia Dediu ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIV, 580 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 7810 | |
| 500 | |a Literaturangaben | ||
| 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 2013 |z Bilbao |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- |e Sonstige |0 (DE-588)1035442701 |4 oth | |
| 711 | 2 | |a LATA |n 7 |d 2013 |c Bilbao |j Sonstige |0 (DE-588)103449385X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-37064-9 |
| 830 | 0 | |a Lecture notes in computer science |v 7810 |w (DE-604)BV000000607 |9 7810 | |
| 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=026043044&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026043044 | |
Datensatz im Suchindex
| _version_ | 1820875462015975424 |
|---|---|
| adam_text |
IMAGE 1
T A B L E O F C O N T E N T S
INVITED TALKS
COMPLEXITY DICHOTOMY FOR COUNTING PROBLEMS 1
J I N - Y I CAI
ALGORITHMS FOR ANALYZING AND VERIFYING INFINITE-STATE RECURSIVE
PROBABILISTIC SYSTEMS 12
KOUSHA E T E S S A M I
RECURSION SCHEMES, COLLAPSIBLE PUSHDOWN AUTOMATA AND HIGHER-ORDER MODEL
CHECKING 13
LUKE ONG
DISCRETE LINEAR DYNAMICAL SYSTEMS 42
JOEL OUAKNINE
XML SCHEMA MANAGEMENT: A CHALLENGE FOR AUTOMATA THEORY 43
T H O M A S SCHWENTICK
R E G U L A R P A P E R S
O N THE COMPLEXITY OF SHORTEST P A T H PROBLEMS ON DISCOUNTED COST
GRAPHS 44
RAJEEV ALUR, SAMPATH KANNARI, K E V I N TIAN, AND YIFEI Y U A N
TERMINATION OF RULE-BASED CALCULI FOR UNIFORM SEMI-UNIFICATION 56
TAKAHITO AOTO AND MUNEHIRO IWARNI
DECIDING W Q O FOR FACTORIAL LANGUAGES 68
AISTIS A T M I N A S , VADIM LOZIN, AND MIKHAIL MOSHKOV
ON THE CONSTRUCTION OF A FAMILY OF AUTOMATA T H A T ARE GENERICALLY
NON-MINIMAL 80
PARISA BABAALI AND CHRISTOPHER KNAPLUND
LIMITED NON-DETERMINISM HIERARCHY OF COUNTER AUTOMATA 92
SEBASTIAN BALA AND DARIUSZ JACKOWSKI
UNAMBIGUOUS AUTOMATA DENOTING FINITELY SEQUENTIAL FUNCTIONS 104
SEBASTIAN BALA A N D A R T U R KONINSKI
DUPLICATION-LOSS GENOME ALIGNMENT: COMPLEXITY AND ALGORITHM 116 BILLEL
BENZAID, RICCARDO DONDI, AND NADIA EL-MABROUK
HTTP://D-NB.INFO/1031344624
IMAGE 2
X I I TABLE OF CONTENTS
MAXIMIZING ENTROPY OVER MARKOV PROCESSES 128
FABRIZIO BIONDI, A X E L LEGAY, B O FRIIS NIELSEN, A N D A N D R Z E J
WQSOWSKI
MAT LEARNING OF UNIVERSAL AUTOMATA 141
JOHANNA BJDRKLUND, HENNING FERNAU, A N D A N N A KASPRZIK
A GRAPH POLYNOMIAL APPROACH TO PRIMITIVITY 153
FRANCINE BLANCHET-SADRI, MICHELLE BODNAR, NATHAN FOX, AND JOE HIDAKATSU
SUFFIX TREES FOR PARTIAL WORDS AND THE LONGEST COMMON COMPATIBLE PREFIX
PROBLEM 165
FRANCINE BLANCHET-SADRI A N D JUSTIN LAZAROUI
DYNAMIC COMMUNICATING AUTOMATA AND BRANCHING HIGH-LEVEL MSCS 177
BENEDIKT BOLLIG, AISWARYA CYRIAC. LOI'C HELOUET, A H M E T KARA, AND
THOMAS SCHWENTICK
VISIBLY PUSHDOWN AUTOMATA: UNIVERSALITY AND INCLUSION VIA ANTICHAINS 190
VERONIQUE BRUYERE, MARC DUCOBU, AND OLIVIER GAUWIN
TWO-SIDED DERIVATIVES FOR REGULAR EXPRESSIONS AND FOR HAIRPIN
EXPRESSIONS 202
JEAN-MARC CHAMPARNAUD, JEAN-PHILIPPE DUBERNARD, HADRIEN JEANNE, A N D
LUDOVIC MIGNOT
HOW TO TRAVEL BETWEEN LANGUAGES 214
KRISHNENDU CHATTERJEE, SIDDHESH CHAUBAL, AND SASHA R U B I N
EXECUTION INFORMATION RATE FOR SOME CLASSES OF AUTOMATA 226
CEWEI CUI, ZHE DANG, THOMAS R . FISCHER, AND OSCAR H. IBARRA
DECIDABILITY AND COMPLEXITY RESULTS FOR VERIFICATION OF ASYNCHRONOUS
BROADCAST NETWORKS 238
GIORGIO DELZANNO A N D RICCARDO TRAVERSO
T H E BUFFERED 7R-CALCULUS: A MODEL FOR CONCURRENT LANGUAGES 250
XIAOJIE DENG, YU ZHANG, YUXIN DENG, A N D FARONG ZHONG
MIX-AUTOMATIC SEQUENCES 262
JORG ENDRULLIS, CLEMENS GRABMAYER, A N D D I M I T R I HENDRIKS
A MULTIVARIATE ANALYSIS OF SOME DFA PROBLEMS 275
HENNING FERNAU, P I N A R HEGGERNES, AND YNGVE VILLANGER
O N THE SIZE COMPLEXITY OF DETERMINISTIC FREQUENCY AUTOMATA 287
RUSIY,S FREIVALDS, T H O M A S ZEUGMANN, A N D GRANT R . POGOSYAN
IMAGE 3
T A B L E O F C O N T E N T S X I I I
ON THE NUMBER OF UNBORDERED FACTORS 299
DANIEL GOC, HA,MOON MOUSAVI, AND JEFFREY SHALLIT
PRIMITIVE WORDS AND LYNDON WORDS IN AUTOMATIC AND LINEARLY RECURRENT
SEQUENCES 311
DANIEL GOC, KALLE SAARI, A N D JEFFREY SHALLIT
EFFICIENT SUBMATCH EXTRACTION FOR PRACTICAL REGULAR EXPRESSIONS 323
STUART HABER, WILLIAM H O M E , PRATYUSA MANADHATA, MIRANDA MOWBRAY, AND
PRASAD R A O
DETERMINACY AND SUBSUMPTION FOR SINGLE-VALUED BOTTOM-UP TREE TRANSDUCERS
335
KENJI HASHIMOTO, R Y U T A SAWADA, YASUNORI ISHIHARA, HIROYUKI SEKI, A N
D TORU FUJIWARA
REVEALING VS. CONCEALING: MORE SIMULATION GAMES FOR BIICHI INCLUSION 347
MILKA HUTAGALUNG, M A R T I N LANGE, A N D ETIENNE LOZES
ON BOUNDED LANGUAGES AND REVERSAL-BOUNDED AUTOMATA 359
OSCAR H. IBARRA A N D BALA RAVIKUMAR
REWRITE CLOSURE AND C F HEDGE AUTOMATA 371
FLORENT JACQUEMARD ARID MICHAEL RUSINOWITCH,
LINEAR-TIME VERSION OF HOLUB'S ALGORITHM FOR MORPHIC IMPRIMITIVITY
TESTING 383
TOMASZ KOCIUMAKA, JAKUB RADOSZEWSKI, WOJCIECH RYTTER, AND TOMASZ WALEN
FROM REGULAR TREE EXPRESSION TO POSITION TREE AUTOMATON 395
ERIC LAUGEROTTE, NADIA OUALI SEBTI, AND DJELLOUL ZIADI
CONVERGENCE OF NEWTON'S METHOD OVER COMMUTATIVE SEMIRINGS 407
MICHAEL LUTTENBERGER A N D MAXIMILIAN SCHLUND
COUNTING MINIMAL SYMMETRIC DIFFERENCE NFAS 419
B R I N K VAN DER MERWE, M A R K FARAG, AND JACO GELDENHUYS
INTERVAL LOGICS AND WB-REGULAR LANGUAGES 431
ANGELO MONTANARI AND PIETRO SALA
ELIMINATING STACK SYMBOLS IN PUSH-DOWN AUTOMATA AND LINEAR INDEXED
GRAMMARS 444
KATSUHIKO NAKAMURA AND K E I T A IMADA,
ASYNCHRONOUS P C SYSTEMS OF PUSHDOWN AUTOMATA FRIEDRICH OTTO 4 5 6
IMAGE 4
XIV TABLE OF CONTENTS
MODEL CHECKING METRIC TEMPORAL LOGIC OVER AUTOMATA WITH ONE COUNTER 468
K A R I N QUAAS
COINDUCTIVE PROOF TECHNIQUES FOR LANGUAGE EQUIVALENCE 480
JURRIAAN ROT, MARCELLO BONSANGUE, AND J A N R U T T E N
OSTROWSKI NUMERATION AND THE LOCAL PERIOD OF STURMIAN WORDS 493
LXIKE SCHAEFFER
BOOLEAN ALGEBRAS OF REGULAR W-LANGUAGES 504
VICTOR SELIVANOV A N D A N T O N KONOVALOV
PUMPING, SHRINKING AND PRONOUNS: FROM CONTEXT FREE TO INDEXED GRAMMARS
516
ELI S H A M I R
ONLINE MATCHING OF MULTIPLE REGULAR PATTERNS WITH GAPS AND CHARACTER
CLASSES 523
SEPPO SIPPU AND ELJAS SOISALON-SOININEN
INFINITENESS AND BOUNDEDNESS IN 0L, DTOL, AND TOL SYSTEMS 535
T I M S M I T H
UNIFORMISATION OF TWO-WAY TRANSDUCERS 547
RODRIGO DE SOUZA
A CONDITIONAL SUPERPOLYNOMIAL LOWER BOUND FOR EXTENDED RESOLUTION 559
OLGA TVERETINA
A TURING MACHINE DISTANCE HIERARCHY 570
STANISLAV Z A K AND J I F I S I M A
A U T H O R I N D E X 579 |
| any_adam_object | 1 |
| author_GND | (DE-588)1035442701 |
| building | Verbundindex |
| bvnumber | BV041066027 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f DAT 550f |
| ctrlnum | (OCoLC)840568950 (DE-599)DNB1031344624 |
| dewey-full | 004 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004 005.131 |
| dewey-search | 004 005.131 |
| dewey-sort | 14 |
| 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">BV041066027</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140227</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130604s2013 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1031344624</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370632</subfield><subfield code="c">kart. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-37063-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)840568950</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1031344624</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Language and automata theory and applications</subfield><subfield code="b">7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings</subfield><subfield code="c">Adrian-Horia Dediu ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 580 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">7810</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2013</subfield><subfield code="z">Bilbao</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="e">Sonstige</subfield><subfield code="0">(DE-588)1035442701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LATA</subfield><subfield code="n">7</subfield><subfield code="d">2013</subfield><subfield code="c">Bilbao</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)103449385X</subfield><subfield code="4">oth</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-642-37064-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7810</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7810</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=026043044&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-026043044</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Bilbao gnd-content |
| genre_facet | Konferenzschrift 2013 Bilbao |
| id | DE-604.BV041066027 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:00Z |
| institution | BVB |
| institution_GND | (DE-588)103449385X |
| isbn | 9783642370632 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026043044 |
| oclc_num | 840568950 |
| open_access_boolean | |
| owner | DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XIV, 580 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings Adrian-Horia Dediu ... (eds.) Berlin [u.a.] Springer 2013 XIV, 580 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7810 Literaturangaben Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Bilbao gnd-content Automatentheorie (DE-588)4003953-5 s Formale Sprache (DE-588)4017848-1 s DE-604 Dediu, Adrian-Horia 1961- Sonstige (DE-588)1035442701 oth LATA 7 2013 Bilbao Sonstige (DE-588)103449385X oth Erscheint auch als Online-Ausgabe 978-3-642-37064-9 Lecture notes in computer science 7810 (DE-604)BV000000607 7810 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026043044&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings Lecture notes in computer science 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 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings |
| title_auth | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings |
| title_exact_search | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings |
| title_full | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings Adrian-Horia Dediu ... (eds.) |
| title_fullStr | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings Adrian-Horia Dediu ... (eds.) |
| title_full_unstemmed | Language and automata theory and applications 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings Adrian-Horia Dediu ... (eds.) |
| title_short | Language and automata theory and applications |
| title_sort | language and automata theory and applications 7th international conference lata 2013 bilbao spain april 2 5 2013 proceedings |
| title_sub | 7th international conference, LATA 2013, Bilbao, Spain, April 2 - 5, 2013 ; proceedings |
| topic | Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automatentheorie Formale Sprache Konferenzschrift 2013 Bilbao |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026043044&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dediuadrianhoria languageandautomatatheoryandapplications7thinternationalconferencelata2013bilbaospainapril252013proceedings AT latabilbao languageandautomatatheoryandapplications7thinternationalconferencelata2013bilbaospainapril252013proceedings |