Automata, languages and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9135 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XXXIX, 717 p. 65 illus) |
| ISBN: | 9783662476666 9783662476659 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-47666-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042669821 | ||
| 003 | DE-604 | ||
| 005 | 20150709 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150703s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662476666 |c Online |9 978-3-662-47666-6 | ||
| 020 | |a 9783662476659 |c Print |9 978-3-662-47665-9 | ||
| 024 | 7 | |a 10.1007/978-3-662-47666-6 |2 doi | |
| 035 | |a (OCoLC)913291639 | ||
| 035 | |a (DE-599)BVBBV042669821 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Automata, languages and programming |b 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II |c edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
| 264 | 1 | |a Berlin, Heidelberg |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XXXIX, 717 p. 65 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9135 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Information storage and retrieval systems | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Information Storage and Retrieval | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Kyōto |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Halldórsson, Magnús M. |e Sonstige |4 oth | |
| 711 | 2 | |a ICALP |n 42. |d 2015 |c Kyōto |j Sonstige |0 (DE-588)1073550621 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9135 |w (DE-604)BV014880109 |9 9135 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-47666-6 |x Verlag |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=028101905&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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=028101905&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028101905 | ||
Datensatz im Suchindex
| _version_ | 1804174859805130752 |
|---|---|
| adam_text | AUTOMATA, LANGUAGES, AND PROGRAMMING
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TOWARDS THE GRAPH MINOR THEOREMS FOR DIRECTED GRAPHS
AUTOMATED SYNTHESIS OF DISTRIBUTED CONTROLLERS
GAMES FOR DEPENDENT TYPES
SHORT PROOFS OF THE KNESER-LOVASZ COLORING PRINCIPLE
PROVENANCE CIRCUITS FOR TREES AND TREELIKE INSTANCES
LANGUAGE EMPTINESS OF CONTINUOUS-TIME PARAMETRIC TIMED AUTOMATA
ANALYSIS OF PROBABILISTIC SYSTEMS VIA GENERATING FUNCTIONS AND PADE
APPROXIMATION
ON REDUCING LINEARIZABILITY TO STATE REACHABILITY
THE COMPLEXITY OF SYNTHESIS FROM PROBABILISTIC COMPONENTS
EDIT DISTANCE FOR PUSHDOWN AUTOMATA
SOLUTION SETS FOR EQUATIONS OVER FREE GROUPS ARE EDT0L LANGUAGES
LIMITED SET QUANTIFIERS OVER COUNTABLE LINEAR ORDERINGS
REACHABILITY IS IN DYNFO
NATURAL HOMOLOGY
GREATEST FIXED POINTS OF PROBABILISTIC MIN/MAX POLYNOMIAL EQUATIONS, AND
REACHABILITY FOR BRANCHING MARKOV DECISION PROCESSES
TRADING BOUNDS FOR MEMORY IN GAMES WITH COUNTERS
DECISION PROBLEMS OF TREE TRANSDUCERS WITH ORIGIN
INCOMPLETENESS THEOREMS, LARGE CARDINALS, AND AUTOMATA OVER INFINITE
WORDS
THE ODDS OF STAYING ON BUDGET
FROM SEQUENTIAL SPECIFICATIONS TO EVENTUAL CONSISTENCY
FIXED-DIMENSIONAL ENERGY GAMES ARE IN PSEUDO-POLYNOMIAL TIME
AN ALGEBRAIC GEOMETRIC APPROACH TO NIVAT’S CONJECTURE
NOMINAL KLEENE COALGEBRA
ON DETERMINISATION OF GOOD-FOR-GAMES AUTOMATA
OWICKI-GRIES REASONING FOR WEAK MEMORY MODELS
ON THE COVERABILITY PROBLEM FOR PUSHDOWN VECTOR ADDITION SYSTEMS IN ONE
DIMENSION
COMPRESSED TREE CANONIZATION
PARSIMONIOUS TYPES AND NON-UNIFORM COMPUTATION
BAIRE CATEGORY QUANTIFIER IN MONADIC SECOND ORDER LOGIC
LIVENESS OF PARAMETERIZED TIMED NETWORKS
SYMMETRIC STRATEGY IMPROVEMENT
EFFECT ALGEBRAS, PRESHEAVES, NON-LOCALITY AND CONTEXTUALITY
ON THE COMPLEXITY OF INTERSECTING REGULAR, CONTEXT-FREE, AND TREE
LANGUAGES
CONTAINMENT OF MONADIC DATALOG PROGRAMS VIA BOUNDED CLIQUE-WIDTH
AN APPROACH TO COMPUTING DOWNWARD CLOSURES
HOW MUCH LOOKAHEAD IS NEEDED TO WIN INFINITE GAMES?
SYMMETRIC GRAPH PROPERTIES HAVE INDEPENDENT EDGES
POLYLOGARITHMIC-TIME LEADER ELECTION IN POPULATION PROTOCOLS
CORE SIZE AND DENSIFICATION IN PREFERENTIAL ATTACHMENT NETWORKS
MAINTAINING NEAR-POPULAR MATCHINGS
ULTRA-FAST LOAD BALANCING ON SCALE-FREE NETWORKS
APPROXIMATE CONSENSUS IN HIGHLY DYNAMIC NETWORKS: THE ROLE OF AVERAGING
ALGORITHMS
THE RANGE OF TOPOLOGICAL EFFECTS ON COMMUNICATION
SECRETARY MARKETS WITH LOCAL INFORMATION
A SIMPLE AND OPTIMAL ANCESTRY LABELING SCHEME FOR TREES
INTERACTIVE COMMUNICATION WITH UNKNOWN NOISE RATE
FIXED PARAMETER APPROXIMATIONS FOR K-CENTER PROBLEMS IN LOW HIGHWAY
DIMENSION GRAPHS
A UNIFIED FRAMEWORK FOR STRONG PRICE OF ANARCHY IN CLUSTERING GAMES
ON THE DIAMETER OF HYPERBOLIC RANDOM GRAPHS
TIGHT BOUNDS FOR COST-SHARING IN WEIGHTED CONGESTION GAMES
DISTRIBUTED BROADCAST REVISITED: TOWARDS UNIVERSAL OPTIMALITY
SELLING TWO GOODS OPTIMALLY
ADAPTIVELY SECURE COIN-FLIPPING, REVISITED
OPTIMAL COMPETITIVENESS FOR THE RECTILINEAR STEINER ARBORESCENCE PROBLEM
NORMALIZATION PHENOMENA IN ASYNCHRONOUS NETWORKS
BROADCAST FROM MINICAST SECURE AGAINST GENERAL ADVERSARIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
AUTOMATA, LANGUAGES, AND PROGRAMMING
/
: 2015
ABSTRACT / INHALTSTEXT
THE TWO-VOLUME SET LNCS 9134 AND LNCS 9135 CONSTITUTES THE REFEREED
PROCEEDINGS OF THE 42ND INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES
AND PROGRAMMING, ICALP 2015, HELD IN KYOTO, JAPAN, IN JULY 2015. THE 143
REVISED FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM
507 SUBMISSIONS. THE PAPERS ARE ORGANIZED IN THE FOLLOWING THREE TRACKS:
ALGORITHMS, COMPLEXITY, AND GAMES; LOGIC, SEMANTICS, AUTOMATA AND THEORY
OF PROGRAMMING; AND FOUNDATIONS OF NETWORKED COMPUTATION: MODELS,
ALGORITHMS AND INFORMATION MANAGEMENT
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042669821 |
| classification_tum | DAT 550f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)913291639 (DE-599)BVBBV042669821 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-47666-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02976nmm a2200625zcb4500</leader><controlfield tag="001">BV042669821</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150709 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662476666</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-47666-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662476659</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-47665-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-47666-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)913291639</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669821</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II</subfield><subfield code="c">edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXXIX, 717 p. 65 illus)</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">9135</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">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information storage and retrieval systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Storage and Retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Kyōto</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Halldórsson, Magnús M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">42.</subfield><subfield code="d">2015</subfield><subfield code="c">Kyōto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1073550621</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">9135</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9135</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-47666-6</subfield><subfield code="x">Verlag</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=028101905&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=028101905&sequence=000003&line_number=0002&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_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028101905</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Kyōto gnd-content |
| genre_facet | Konferenzschrift 2015 Kyōto |
| id | DE-604.BV042669821 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:07:06Z |
| institution | BVB |
| institution_GND | (DE-588)1073550621 |
| isbn | 9783662476666 9783662476659 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101905 |
| oclc_num | 913291639 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXXIX, 717 p. 65 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann Berlin, Heidelberg Springer 2015 1 Online-Ressource (XXXIX, 717 p. 65 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9135 0302-9743 Computer science Computer Communication Networks Computer software Computational complexity Information storage and retrieval systems Computer Science Algorithm Analysis and Problem Complexity Computation by Abstract Devices Information Storage and Retrieval Information Systems Applications (incl. Internet) Discrete Mathematics in Computer Science Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Kyōto gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Halldórsson, Magnús M. Sonstige oth ICALP 42. 2015 Kyōto Sonstige (DE-588)1073550621 oth Lecture Notes in Computer Science 9135 (DE-604)BV014880109 9135 https://doi.org/10.1007/978-3-662-47666-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101905&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101905&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II Lecture Notes in Computer Science Computer science Computer Communication Networks Computer software Computational complexity Information storage and retrieval systems Computer Science Algorithm Analysis and Problem Complexity Computation by Abstract Devices Information Storage and Retrieval Information Systems Applications (incl. Internet) Discrete Mathematics in Computer Science Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II |
| title_auth | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II |
| title_exact_search | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II |
| title_full | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
| title_fullStr | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
| title_full_unstemmed | Automata, languages and programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 42nd international colloquium icalp 2015 kyoto japan july 6 10 2015 proceedings part ii |
| title_sub | 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II |
| topic | Computer science Computer Communication Networks Computer software Computational complexity Information storage and retrieval systems Computer Science Algorithm Analysis and Problem Complexity Computation by Abstract Devices Information Storage and Retrieval Information Systems Applications (incl. Internet) Discrete Mathematics in Computer Science Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Computer science Computer Communication Networks Computer software Computational complexity Information storage and retrieval systems Computer Science Algorithm Analysis and Problem Complexity Computation by Abstract Devices Information Storage and Retrieval Information Systems Applications (incl. Internet) Discrete Mathematics in Computer Science Informatik Theoretische Informatik Konferenzschrift 2015 Kyōto |
| url | https://doi.org/10.1007/978-3-662-47666-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101905&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101905&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT halldorssonmagnusm automatalanguagesandprogramming42ndinternationalcolloquiumicalp2015kyotojapanjuly6102015proceedingspartii AT icalpkyoto automatalanguagesandprogramming42ndinternationalcolloquiumicalp2015kyotojapanjuly6102015proceedingspartii |