Automata, languages and programming: 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings 1
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6198 |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XXIII, 754 S. graph. Darst. |
| ISBN: | 9783642141645 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV036520133 | ||
| 003 | DE-604 | ||
| 005 | 20100910 | ||
| 007 | t| | ||
| 008 | 100623s2010 gw d||| |||| 00||| eng d | ||
| 015 | |a 10,N22 |2 dnb | ||
| 016 | 7 | |a 1002962196 |2 DE-101 | |
| 020 | |a 9783642141645 |c PB. : ca. EUR 93.09 (freier Pr.), ca. sfr 135.00 (freier Pr.) |9 978-3-642-14164-5 | ||
| 035 | |a (OCoLC)699932376 | ||
| 035 | |a (DE-599)DNB1002962196 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-706 |a DE-91G |a DE-83 | ||
| 084 | |a ER 300 |0 (DE-625)27716: |2 rvk | ||
| 084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
| 245 | 1 | 0 | |a Automata, languages and programming |b 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings |n 1 |c Samson Abramsky ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XXIII, 754 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 6198 : Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |v ... | |
| 700 | 1 | |a Abramsky, Samson |d 1953- |0 (DE-588)142172561 |4 edt | |
| 711 | 2 | |a ICALP |n 37 |d 2010 |c Bordeaux |j Sonstige |0 (DE-588)16073078-8 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV036520105 |g 1 |
| 830 | 0 | |a Lecture notes in computer science |v 6198 |w (DE-604)BV000000607 |9 6198 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3484484&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=020442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020442158 | |
Record in the Search Index
| _version_ | 1820875240359591936 |
|---|---|
| adam_text |
ALLAN BORODIN AND BRENDAN LUDER TABLE OF CONTENTS - PART I INVITED TALKS
LOCAL SEARCH: SIMPLE, SUCCESSFUL, BUT SOMETIMES SLUGGISH 1 BURKHARD
MONIEN, DOMINIC DUMRAUF, AND TOBIAS TSCHEUSCHNER WHEN CONFLICTING
CONSTRAINTS CAN BE RESOLVED - THE LOVASZ LOCAL LEMMA AND SATISFIABILITY
(ABSTRACT) 18 EMO WELZL SESSION 1-TRACK A. COMBINATORIAL OPTIMIZATION
PLANE SPANNERS OF MAXIMUM DEGREE SIX 19 NICOLAS BONICHON, CYRIL
GAVOILLE, NICOLAS HANUSSE, AND LJUBOMIR PERKOVIC THE POSITIVE
SEMIDEFINITE GROTHENDIECK PROBLEM WITH RANK CONSTRAINT 31 JOP BRIET,
FERNANDO MARIO DE OLIVEIRA FILHO, AND FRANK VALLENTIN CYCLE DETECTION
AND CORRECTION 43 AMIHOOD AMIR, ESTRELLA EISENBERG, AVIVIT LEVY, ELY
PORAT, AND NATALIE SHAPIRA DECOMPOSITION WIDTH OF MATROIDS 55 DANIEL
KRAI' SESSION 2-TRACK AL. GAME THEORY THE COOPERATIVE GAME THEORY
FOUNDATIONS OF NETWORK BARGAINING GAMES 67 MOHAMMADHOSSEIN BATENI,
MOHAMMADTAGHI HAJIAGHAYI, NICOLE IMMORLICA, AND HAMID MAHINI ON THE
EXISTENCE OF PURE NASH EQUILIBRIA IN WEIGHTED CONGESTION GAMES 79 TOBIAS
HARKS AND MAX KLIMM ON THE LIMITATIONS OF GREEDY MECHANISM DESIGN FOR
TRUTHFUL COMBINATORIAL AUCTIONS 90 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1002962196 DIGITALISIERT DURCH XIV TABLE OF CONTENTS -
PART I MEAN-PAYOFF GAMES AND PROPOSITIONAL PROOFS 102 ALBERT ATSERIAS
AND ELITZA MANEVA SESSION 2-TRACK A2. SECURITY ONLINE NETWORK DESIGN
WITH OUTLIERS 114 ARIS ANAGNOSTOPOULOS, FABRIZIO GRANDONI, STEFANO
LEONARDI, AND PIOTR SANKOWSKI EFFICIENT COMPLETELY NON-MALLEABLE PUBLIC
KEY ENCRYPTION 127 BENOIT LIBERT AND MOTI YUNG POLYNOMIAL-SPACE
APPROXIMATION OF NO-SIGNALING PROVERS 140 TSUYOSHI ITO FROM SECRECY TO
SOUNDNESS: EFFICIENT VERIFICATION VIA SECURE COMPUTATION (EXTENDED
ABSTRACT) 152 BENNY APPLEBAUM, YUVAL ISHAI, AND EYAL KUSHILEVITZ SESSION
3-TRACK AL. DATA STRUCTURES MERGEABLE DICTIONARIES 164 JOHN IACONO AND
OEZGUER OZKAN FASTER ALGORITHMS FOR SEMI-MATCHING PROBLEMS (EXTENDED
ABSTRACT) . 176 JITTAT FAKCHAROENPHOL, BUNDIT LAEKHANUKIT, AND DANUPON
NANONGKAI CLUSTERING WITH DIVERSITY 188 JIAN LI, KE YI, AND QIN ZHANG
NEW DATA STRUCTURES FOR SUBGRAPH CONNECTIVITY 201 RAN DUAN SESSION
3-TRACK A2. SORTING & HASHING TIGHT THRESHOLDS FOR CUCKOO HASHING VIA
XORSAT (EXTENDED ABSTRACT) 213 MARTIN DIETZFELBINGER, ANDREAS GOERDT,
MICHAEL MITZENMACHER, ANDREA MONTANARI, RASMUS PAGH, AND MICHAEL RINK
RESOURCE OBLIVIOUS SORTING ON MULTICORES 226 RICHARD TABLE OF CONTENTS -
PART I XV SESSION 4-TRACK A. GRAPHS, NETS AND OPTIMIZATION
INAPPROXIMABILITY OF HYPERGRAPH VERTEX COVER AND APPLICATIONS TO
SCHEDULING PROBLEMS 250 NIKHIL BANSAL AND SUBHASH KHOT THRESHOLDED
COVERING ALGORITHMS FOR ROBUST AND MAX-MIN OPTIMIZATION 262 ANUPAM
GUPTA, VISWANATH NAGARAJAN, AND R. RAVI GRAPH HOMOMORPHISMS WITH COMPLEX
VALUES: A DICHOTOMY THEOREM (EXTENDED ABSTRACT) 275 JIN- YI CAI, XI
CHEN, AND PINYAN LU METRICAL TASK SYSTEMS AND THE FC-SERVER PROBLEM ON
HSTS 287 NIKHIL BANSAL, NIV BUCHBINDER, AND JOSEPH (SEFFI) NAOR SESSION
5-TRACK AL. SCHEDULING SCHEDULING PERIODIC TASKS IN A HARD REAL-TIME
ENVIRONMENT 299 FRIEDRICH EISENBRAND, NICOLAI HAEHNLE, MARTIN NIEMEIER,
MARTIN SKUTELLA, JOSE VERSCHAE, AND ANDREAS WIESE SCALABLY SCHEDULING
POWER-HETEROGENEOUS PROCESSORS 312 ANUPAM GUPTA, RAVISHANKAR
KRISHNASWAMY, AND KIRK PRUHS BETTER SCALABLE ALGORITHMS FOR BROADCAST
SCHEDULING 324 NIKHIL BANSAL, RAVISHANKAR KRISHNASWAMY, AND VISWANATH
NAGARAJAN MAX-MIN ONLINE ALLOCATIONS WITH A REORDERING BUFFER 336 LEAH
EPSTEIN, ASAF LEVIN, AND ROB VAN STEE SESSION 5-TRACK A2. GRAPHS &;
HYPERGRAPHS ORIENTABILITY OF RANDOM HYPERGRAPHS AND THE POWER OF
MULTIPLE CHOICES 348 NIKOLAOS FOUNTOULAKIS AND KONSTANTINOS PANAGIOTOU O
XVI TABLE OF CONTENTS - PART I SESSION 6-TRACK A. BEST PAPER AWARD
APPROXIMATING THE PARTITION FUNCTION OF THE FERROMAGNETIC POTTS MODEL
396 LESLIE ANN GOLDBERG AND MARK JERRUM SESSION 7-TRACK A. ALGEBRAIC
PROBLEMS ON THE RELATION BETWEEN POLYNOMIAL IDENTITY TESTING AND FINDING
VARIABLE DISJOINT FACTORS 408 AMIR SHPILKA AND ILYA VOLKOVICH ON SUMS OF
ROOTS OF UNITY 420 BRUCE LITOW EXPONENTIAL TIME COMPLEXITY OF THE
PERMANENT AND THE TUTTE POLYNOMIAL (EXTENDED ABSTRACT) 426 HOLGER DELL,
THORE HUSFELDT, AND MARTIN WAHLEN ON APPROXIMATE HORN FORMULA
MINIMIZATION 438 AMITAVA BHATTACHARYA, BHASKAR DASGUPTA, DHRUV MUBAYI,
AND GYOERGY TURAN SESSION 8-TRACK A. NETWORKS & COMMUNICATION COMPLEXITY
CHOOSING, AGREEING, AND ELIMINATING IN COMMUNICATION COMPLEXITY. 451
AMOS BEIMEL, SEBASTIAN BEN DANIEL, EYAL KUSHILEVITZ, AND ENAV WEINREB
ADDITIVE SPANNERS IN NEARLY QUADRATIC TIME 463 DAVID P. WOODRUFF
COMPOSITION THEOREMS IN COMMUNICATION COMPLEXITY 475 TROY LEE AND
SHENGYU ZHANG NETWORK DESIGN VIA CORE DETOURING FOR PROBLEMS WITHOUT A
CORE 490 FABRIZIO GRANDONI AND THOMAS ROTHVOSS SESSION 9-TRACK AL.
COMPLEXITY & AUTOMATA WEAK COMPLETENESS NOTIONS FOR EXPONENTIAL TIME 503
KLAUS TABLE OF CONTENTS - PART I XVII ON THE COMPLEXITY OF SEARCHING IN
TREES: AVERAGE-CASE MINIMIZATION 527 TOBIAS JACOBS, FERDINANDO CICALESE,
EDUARDO LABER, AND MARCO MOLINARO SESSION 9-TRACK A2. FINDING & TESTING
FINDING IS AS EASY AS DETECTING FOR QUANTUM WALKS 540 HARI KROVI,
FREDERIC MAGNIEZ, MARIS OZOLS, AND JEREMIE ROLAND IMPROVED CONSTRUCTIONS
FOR NON-ADAPTIVE THRESHOLD GROUP TESTING . 552 MAHDI CHERAGHCHI
TESTING NON-UNIFORM /C-WISE INDEPENDENT DISTRIBUTIONS OVER PRODUCT
SPACES (EXTENDED ABSTRACT) 565 RONITT RUBINFELD AND NING XIE SESSION
10-TRACK AL. APPROXIMATIONS A SUBLOGARITHMIC APPROXIMATION FOR HIGHWAY
AND TOLLBOOTH PRICING . . 582 IFTAH GAMZU AND DANNY SEGEV MAXIMUM
QUADRATIC ASSIGNMENT PROBLEM: REDUCTION FROM MAXIMUM LABEL COVER AND
LP-BASED APPROXIMATION ALGORITHM 594 KONSTANTIN MAKARYCHEV, RAJSEKAR
MANOKARAN, AND MAXIM SVIRIDENKO CELL PROBE LOWER BOUNDS AND
APPROXIMATIONS FOR RANGE MODE 605 MARK GREVE, ALLAN GR0NLUND J0RGENSEN,
KASPER DALGAARD LARSEN, AND JAKOB TRUELSEN SDP GAPS FOR 2-TO-L AND OTHER
LABEL-COVER VARIANTS 617 VENKATESAN GURUSWAMI, SUBHASH KHOT, RYAN
O'DONNELL, PREYAS POPAT, MADHUR TULSIANI, AND YI WU SESSION 10-TRACK A2.
STREAMING & PREPROCESSING DATA STREAM ALGORITHMS FOR CODEWORD TESTING
(EXTENDED ABSTRACT). 629 ATRI AUTHOR INDEX 751 XVIII TABLE OF
CONTENTS - PART I HOLOGRAPHIC REDUCTION: A DOMAIN CHANGED APPLICATION
AND ITS PARTIAL CONVERSE THEOREMS 666 MINGJI XIA SESSION 11-TRACK AL.
ADAPTIVE, KNOWLEDGE & OPTIMALITY OPTIMAL TRADE-OFFS FOR SUCCINCT STRING
INDEXES 678 ROBERTO GROSSI, ALESSIO ORLANDI, AND RAJEEV RAMAN
APPROXIMATION ALGORITHMS FOR OPTIMAL DECISION TREES AND ADAPTIVE TSP
PROBLEMS 690 ANUPAM GUPTA, VISWANATH NAGARAJAN, AND R. RAVI CONCURRENT
KNOWLEDGE EXTRACTION IN THE PUBLIC-KEY MODEL 702 ANDREW C. YAO, MOTI
YUNG, AND YUNLEI ZHAO SESSION 11-TRACK A2. COVERING, GRAPHS &
INDEPENDENCE ON THE FC-INDEPENDENCE REQUIRED BY LINEAR PROBING AND
MINWISE INDEPENDENCE 715 MIHAI PATRASCU AND MIKKEL THORUP COVERING AND
PACKING IN LINEAR SPACE 727 ANDREAS BJOERKLUND, THORE HUSFELDT, PETTERI
KASKI, AND MIKKO KOIVISTO TESTING 2-VERTEX CONNECTIVITY AND COMPUTING
PAIRS OF VERTEX-DISJOINT S-T PATHS IN DIGRAPHS 738 LOUKAS GEORGIADIS
LESZEK GQSIENIEC TABLE OF CONTENTS - PART II INVITED TALKS INFORMATIVE
LABELING SCHEMES (ABSTRACT) 1 PIERRE FRAIGNIAUD NOETHERIAN SPACES IN
VERIFICATION 2 JEAN GOUBAULT-LARRECQ TOWARDS A THEORY OF TIME-BOUNDED
VERIFICATION 22 JOEL OUAKNINE AND JAMES WORRELL PHYSICAL ALGORITHMS 38
ROGER WATTENHOFER SESSION 1-TRACK B. AUTOMATA OPTIMAL ZIELONKA-TYPE
CONSTRUCTION OF DETERMINISTIC ASYNCHRONOUS AUTOMATA 52 BLAISE GENEST,
HUGO GIMBERT, ANCA MUSCHOLL, AND IGOR WALUKIEWICZ PUMPING AND COUNTING
ON THE REGULAR POST EMBEDDING PROBLEM 64 PIERRE CHAMBART AND PHILIPPE
SCHNOEBELEN ALTERNATION REMOVAL IN BUECHI AUTOMATA 76 UDI BOKER, ORNA
KUPFERMAN, AND ADIN ROSENBERG LINEAR ORDERS IN THE PUSHDOWN HIERARCHY 88
LAURENT BRAUD AND ARNAUD CARAYOL SESSION 1-TRACK C. COMMUNICATION IN
NETWORKS THE SERIALIZABILITY OF NETWORK CODES 100 ANNA BLASIAK AND
ROBERT KLEINBERG HOW EFFICIENT CAN GOSSIP BE? (ON THE COST OF RESILIENT
INFORMATION EXCHANGE) 115 DAN ALISTARH, SETH GILBERT, RACHID GUERRAOUI,
AND MORTEZA ZADIMOGHADDAM EFFICIENT INFORMATION EXCHANGE IN THE RANDOM
PHONE-CALL MODEL 127 PETRA BERENBRINK, JUREK CZYZOWICZ, ROBERT ELSAESSER,
AND XX TABLE OF CONTENTS - PART II AN O(LOGN)-COMPETITIVE ONLINE
CENTRALIZED RANDOMIZED PACKET-ROUTING ALGORITHM FOR LINES 139 GUY EVEN
AND MOTI MEDINA SESSION 2-TRACK B. FORMAL LANGUAGES A TOPOLOGICAL
APPROACH TO RECOGNITION 151 MAI GEHRKE, SERGE GRIGORIEFF, AND JEAN-ERIC
PIN ON LI?(FC)-PARSERS OF POLYNOMIAL SIZE (EXTENDED ABSTRACT) 163
NORBERT BLUM ON ERASING PRODUCTIONS IN RANDOM CONTEXT GRAMMARS 175 GEORG
ZETZSCHE SESSION 4-TRACK B. SEMANTICS GAME SEMANTICS FOR CALL-BY-VALUE
POLYMORPHISM 187 JAMES LAIRD WHAT IS A PURE FUNCTIONAL? 199 MARTIN
HOFMANN, ALEKSANDR KARBYSHEV, AND HELMUT SEIDL EXAMPLE-GUIDED
ABSTRACTION SIMPLIFICATION 211 ROBERTO GIACOBAZZI AND FRANCESCO RANZATO
COMPOSITIONAL CLOSURE FOR BAYES RISK IN PROBABILISTIC NONINTERFERENCE
223 ANNABELLE MCLVER, LARISSA MEINICKE, AND CARROLL MORGAN SESSION
4-TRACK C. FAULT TOLERANCE, RANKING ASYNCHRONOUS THROUGHPUT-OPTIMAL
ROUTING IN MALICIOUS NETWORKS . 236 PAUL BUNN AND RAFAIL OSTROVSKY
IMPROVED FAULT TOLERANCE AND SECURE COMPUTATION ON SPARSE NETWORKS 249
NISHANTH CHANDRAN, JUAN GARAY, AND RAFAIL OSTROVSKY SPARSE RELIABLE
GRAPH BACKBONES 261 SHIRI CHECHIK, YUVAL EMEK, BOAZ PATT-SHAMIR, AND
DAVID PELEG APPROXIMATIO TABLE OF CONTENTS - PART II XXI SESSION 5-TRACK
B. GRAPHS, CATEGORIES AND QUANTUM INFORMATION REWRITING
MEASUREMENT-BASED QUANTUM COMPUTATIONS WITH GENERALISED FLOW 285 ROSS
DUNCAN AND SIMON PERDRIX THE COMPOSITIONAL STRUCTURE OF MULTIPARTITE
QUANTUM ENTANGLEMENT. 297 BOB COECKE AND ALEKS KISSINGER
COMPOSITIONALITY IN GRAPH TRANSFORMATION 309 AREND RENSINK SESSION
6-TRACK B. BEST PAPER AWARD ON P-OPTIMAL PROOF SYSTEMS AND LOGICS FOR
PTIME 321 YIJIA CHEN AND JOERG FLUM SESSION 6-TRACK C. BEST PAPER AWARD
PLACING REGENERATORS IN OPTICAL NETWORKS TO SATISFY MULTIPLE SETS OF
REQUESTS 333 GEORGE B. MERTZIOS, IGNASI SAU, MORDECHAI SHALOM, AND
SHMUEL ZAKS SESSION 7-TRACK B. LOGIC MAXIMAL DECIDABLE FRAGMENTS OF
HALPERN AND SHOHAM'S MODAL LOGIC OF INTERVALS 345 ANGELO MONTANARI,
GABRIELE PUPPIS, AND PIETRO SALA B AND D ARE ENOUGH TO MAKE THE
HALPERN-SHOHAM LOGIC UNDECIDABLE 357 JERZY MARCINKOWSKI, JAKUB
MICHALISZYN, AND EMANUEL KIERORISKI PARAMETERIZED MODAL SATISFIABILITY
369 ANTONIS ACHILLEOS, MICHAEL LAMPIS, AND VALIA MITSOU AUTOMATA FOR
COALGEBRAS: AN APPROACH USING PREDICATE LIFTINGS 381 GAE'LLE FONTAINE,
RAUL LEAL, AND YDE VENERNA SESSION 7-TRACK C. PRIVACY, SELFISHNESS
RESOLVIN XXII TABLE OF CONTENTS - PART II ENVY-FREE PRICING IN
MULTI-ITEM MARKETS 418 NING CHEN AND XIAOTIE DENG CONTENTION RESOLUTION
UNDER SELFISHNESS 430 GEORGE CHRISTODOULOU, KATRINA LIGETT, AND
EVANGELIA PYRGA SESSION 8-TRACK B. CONCURRENCY ON THE EXPRESSIVENESS OF
POLYADIC AND SYNCHRONOUS COMMUNICATION IN HIGHER-ORDER PROCESS CALCULI
442 IVAN LANESE, JORGE A. PEREZ, DAVIDE SANGIORGI, AND ALAN SCHMITT ON
BISIMILARITY AND SUBSTITUTION IN PRESENCE OF REPLICATION 454 DANIEL
HIRSCHKOFF AND DAMIEN POUS THE DOWNWARD-CLOSURE OF PETRI NET LANGUAGES
466 PETER HABERMEHL, ROLAND MEYER, AND HARRO WIMMEL REACHABILITY GAMES
ON EXTENDED VECTOR ADDITION SYSTEMS WITH STATES 478 TOMAS BRAZDIL, PETR
JANEAR, AND ANTONIN KUCERA SESSION 8-TRACK C. MOBILE AGENTS MODELLING
MOBILITY: A DISCRETE REVOLUTION (EXTENDED ABSTRACT) 490 ANDREA E.F.
DEMENTI, ANGELO MONTI, AND RICCARDO SILVESTRI TELL ME WHERE I AM SO I
CAN MEET YOU SOONER: (ASYNCHRONOUS RENDEZVOUS WITH LOCATION INFORMATION)
502 ANDREW COLLINS, JUREK CZYZOWICZ, LESZEK GQSIENIEC, AND ARNAUD
LABOUREL RENDEZVOUS OF MOBILE AGENTS WITHOUT AGREEMENT ON LOCAL
ORIENTATION 515 JEREMIE CHALOPIN AND SHANTANU DAS SESSION 9-TRACK B.
PROBABILISTIC COMPUTATION PROBABILISTI TABLE OF CONTENTS - PART II XXIII
SESSION 10-TRACK B. AUTOMATA REGULAR TEMPORAL COST FUNCTIONS 563 THOMAS
COLCOMBET, DENIS KUPERBERG, AND SYLVAIN LOMBARDY MODEL CHECKING SUCCINCT
AND PARAMETRIC ONE-COUNTER AUTOMATA 575 STEFAN GOELLER, CHRISTOPH HAASE,
JOEL OUAKNINE, AND JAMES WORRELL PEBBLE WEIGHTED AUTOMATA AND TRANSITIVE
CLOSURE LOGICS 587 BENEDIKT BOLLIG, PAUL GASTIN, BENJAMIN MONMEGE, AND
MARC ZEITOUN ENERGY PARITY GAMES 599 KRISHNENDU CHATTERJEE AND LAURENT
DOYEN AUTHOR INDEX 611 |
| any_adam_object | 1 |
| author2 | Abramsky, Samson 1953- |
| author2_role | edt |
| author2_variant | s a sa |
| author_GND | (DE-588)142172561 |
| author_facet | Abramsky, Samson 1953- |
| building | Verbundindex |
| bvnumber | BV036520133 |
| classification_rvk | ER 300 ES 900 |
| ctrlnum | (OCoLC)699932376 (DE-599)DNB1002962196 |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV036520133</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100910</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100623s2010 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002962196</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141645</subfield><subfield code="c">PB. : ca. EUR 93.09 (freier Pr.), ca. sfr 135.00 (freier Pr.)</subfield><subfield code="9">978-3-642-14164-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699932376</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002962196</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 300</subfield><subfield code="0">(DE-625)27716:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings</subfield><subfield code="n">1</subfield><subfield code="c">Samson Abramsky ... (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">XXIII, 754 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">6198 : Advanced research in computing and software science</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">...</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramsky, Samson</subfield><subfield code="d">1953-</subfield><subfield code="0">(DE-588)142172561</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">37</subfield><subfield code="d">2010</subfield><subfield code="c">Bordeaux</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073078-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV036520105</subfield><subfield code="g">1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6198</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6198</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3484484&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=020442158&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-020442158</subfield></datafield></record></collection> |
| id | DE-604.BV036520133 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:29Z |
| institution | BVB |
| institution_GND | (DE-588)16073078-8 |
| isbn | 9783642141645 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020442158 |
| oclc_num | 699932376 |
| open_access_boolean | |
| owner | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | XXIII, 754 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 | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings 1 Samson Abramsky ... (eds.) Berlin [u.a.] Springer 2010 XXIII, 754 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6198 : Advanced research in computing and software science Lecture notes in computer science ... Abramsky, Samson 1953- (DE-588)142172561 edt ICALP 37 2010 Bordeaux Sonstige (DE-588)16073078-8 oth (DE-604)BV036520105 1 Lecture notes in computer science 6198 (DE-604)BV000000607 6198 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3484484&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=020442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings Lecture notes in computer science |
| title | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings |
| title_auth | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings |
| title_exact_search | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings |
| title_full | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings 1 Samson Abramsky ... (eds.) |
| title_fullStr | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings 1 Samson Abramsky ... (eds.) |
| title_full_unstemmed | Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings 1 Samson Abramsky ... (eds.) |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 37th international colloquium icalp 2010 bordeaux france july 6 10 2010 proceedings |
| title_sub | 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3484484&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=020442158&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV036520105 (DE-604)BV000000607 |
| work_keys_str_mv | AT abramskysamson automatalanguagesandprogramming37thinternationalcolloquiumicalp2010bordeauxfrancejuly6102010proceedings1 AT icalpbordeaux automatalanguagesandprogramming37thinternationalcolloquiumicalp2010bordeauxfrancejuly6102010proceedings1 |