Automata, languages, and programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.)
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and se...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | ICALP 2012. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
|
| Series: | Lecture notes in computer science ;
7392. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b7191618 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 120702s2012 gw ob 101 0 eng d | ||
| 005 | 20240418144529.3 | ||
| 019 | |a 848000529 |a 1058625990 |a 1136201954 |a 1144314856 |a 1148166604 |a 1157088756 | ||
| 020 | |a 9783642315855 |q (electronic bk.) | ||
| 020 | |a 3642315852 |q (electronic bk.) | ||
| 020 | |a 3642315844 | ||
| 020 | |a 9783642315848 | ||
| 020 | |a 9783642315862 |q (print) | ||
| 020 | |a 3642315860 | ||
| 020 | |z 9783642315848 | ||
| 024 | 7 | |a 10.1007/978-3-642-31585-5 | |
| 035 | |a (OCoLC)spr797967277 | ||
| 035 | |a (OCoLC)797967277 |z (OCoLC)848000529 |z (OCoLC)1058625990 |z (OCoLC)1136201954 |z (OCoLC)1144314856 |z (OCoLC)1148166604 |z (OCoLC)1157088756 | ||
| 037 | |a spr978-3-642-31585-5 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d ZMC |d COO |d ZMC |d OCLCQ |d E7B |d OCLCF |d BEDGE |d VT2 |d OCLCO |d YDXCP |d AU@ |d OCL |d OCLCO |d OCLCQ |d EBLCP |d OCLCQ |d ESU |d OCLCQ |d IOG |d NJR |d BUF |d CEF |d U3W |d YOU |d TKN |d LEAUB |d OCLCQ |d WYU |d OCLCQ |d AJS |d OCLCQ |d OCLCO | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.7 |b .I58 2012 | |
| 111 | 2 | |a International Colloquium on Automata, Languages, and Programming |n (39th : |d 2012 : |c Warwick, England) |0 http://id.loc.gov/authorities/names/nb2012024330. | |
| 245 | 1 | 0 | |a Automata, languages, and programming |h [electronic resource] : |b 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. |n Part II / |c Artur Czumaj [and others] (eds.) |
| 246 | 3 | |a ICALP 2012. | |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2012. | ||
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7392. | |
| 490 | 1 | |a Advanced research in computing and software science. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 505 | 0 | 0 | |t On Multiple Keyword Sponsored Search Auctions with Budgets / |r Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi and Martin Starnberger -- |t A Theory Independent Curry-De Bruijn-Howard Correspondence / |r Gilles Dowek -- |t Standing on the Shoulders of a Giant: One Persons Experience of Turings Impact |g (Summary of the Alan M. Turing Lecture) / |r David Harel -- |t Session Types and Distributed Computing / |r Kohei Honda -- |t Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations / |r Daniel A. Spielman -- |t Randomized Mechanisms for Multi-unit Auctions |g (Extended Abstract) / |r Berthold Vöcking -- |t Algebraic Synchronization Trees and Processes / |r Luca Aceto, Arnaud Carayol, Zoltán Ésik and Anna Ingólfsdóttir -- |t Streaming Tree Transducers / |r Rajeev Alur and Loris D'Antoni -- |t Causal Graph Dynamics / |r Pablo Arrighi and Gilles Dowek -- |t Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers / |r Albert Atserias and Anuj Dawar -- |t Monadic Datalog Containment / |r Michael Benedikt, Pierre Bourhis and Pierre Senellart -- |t A Machine-Independent Characterization of Timed Languages / |r Mikołaj Bojańczyk and Sławomir Lasota -- |t Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets / |r Mikołaj Bojańczyk and Thomas Place -- |t Toward Model Theory with Data Values / |r Mikołaj Bojańczyk and Thomas Place -- |t Robust Reachability in Timed Automata: A Game-Based Approach / |r Patricia Bouyer, Nicolas Markey and Ocan Sankur. |
| 505 | 8 | 0 | |t Minimizing Expected Termination Time in One-Counter Markov Decision Processes / |r Tomáš Brázdil, Antonín Kučera, Petr Novotný and Dominik Wojtczak -- |t Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata / |r Christopher Broadbent -- |t A Saturation Method for Collapsible Pushdown Systems / |r Chris Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre -- |t Regular Languages Are Church-Rosser Congruential / |r Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter -- |t Time and Parallelizability Results for Parity Games with Bounded Treewidth / |r John Fearnley and Sven Schewe -- |t Nominal Completion for Rewrite Systems with Binders / |r Maribel Fernández and Albert Rubio -- |t Discrete Generalised Polynomial Functors |g (Extended Abstract) / |r Marcelo Fiore -- |t Computing Game Metrics on Markov Decision Processes / |r Hongfei Fu -- |t Deciding First Order Properties of Matroids / |r Tomáš Gavenčiak, Daniel Král and Sang-il Oum -- |t Pebble Games with Algebraic Rules / |r Anuj Dawar and Bjarki Holm -- |t Exponential Lower Bounds and Separation for Query Rewriting / |r Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev -- |t Lattices of Logical Fragments over Words |g (Extended Abstract) / |r Manfred Kufleitner and Alexander Lauser -- |t On the Expressive Power of Cost Logics over Infinite Words / |r Denis Kuperberg and Michael Vanden Boom -- |t Coalgebraic Predicate Logic / |r Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder. |
| 505 | 8 | 0 | |t Algorithmic Games for Full Ground References / |r Andrzej S. Murawski and Nikos Tzevelekos -- |t Two-Level Game Semantics, Intersection Types, and Recursion Schemes / |r C.-H. Luke Ong and Takeshi Tsukada -- |t An Automata-Theoretic Model of Idealized Algol |g (Extended Abstract) / |r Uday S. Reddy and Brian P. Dunphy -- |t Towards a Unified Theory of Operational and Axiomatic Semantics / |r Grigore Roşu and Andrei Ştefănescu -- |t Loader and Urzyczyn Are Logically Related / |r Sylvain Salvati, Giulio Manzonetto, Mai Gehrke and Henk Barendregt -- |t Languages of Profinite Words and the Limitedness Problem / |r Szymon Toruńczyk -- |t The Complexity of Mean-Payoff Automaton Expression / |r Yaron Velner -- |t On the Locality of Some NP-Complete Problems / |r Leonid Barenboim -- |t Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs / |r Reuven Bar-Yehuda, Erez Kantor, Shay Kutten and Dror Rawitz -- |t Super-Fast Distributed Algorithms for Metric Facility Location / |r Andrew Berns, James Hegeman and Sriram V. Pemmaraju -- |t Preventing Unraveling in Social Networks: The Anchored k-Core Problem / |r Kshipra Bhawalkar, Jon Kleinberg, Kevin Lewi, Tim Roughgarden and Aneesh Sharma -- |t Edge Fault Tolerance on Sparse Networks / |r Nishanth Chandran, Juan Garay and Rafail Ostrovsky -- |t Incentive Ratios of Fisher Markets / |r Ning Chen, Xiaotie Deng, Hongyang Zhang and Jie Zhang -- |t Computational Complexity of Traffic Hijacking under BGP and S-BGP / |r Marco Chiesa, Giuseppe Di Battista, Thomas Erlebach and Maurizio Patrignani -- |t Efficiency-Revenue Trade-Offs in Auctions / |r Ilias Diakonikolas, Christos Papadimitriou, George Pierrakos and Yaron Singer. |
| 505 | 8 | 0 | |t Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports / |r Yoann Dieudonné and Andrzej Pelc -- |t A QPTAS for -Envy-Free Profit-Maximizing Pricing on Line Graphs / |r Khaled Elbassioni -- |t Minimizing Rosenthal Potential in Multicast Games / |r Fedor V. Fomin, Petr Golovach, Jesper Nederlof and Michał Pilipczuk -- |t Multiparty Proximity Testing with Dishonest Majority from Equality Testing / |r Ran Gelles, Rafail Ostrovsky and Kina Winoto -- |t Anonymous Card Shuffling and Its Applications to Parallel Mixnets / |r Michael T. Goodrich and Michael Mitzenmacher -- |t Byzantine Agreement with a Rational Adversary / |r Adam Groce, Jonathan Katz, Aishwarya Thiruvengadam and Vassilis Zikas -- |t Random Hyperbolic Graphs: Degree Sequence and Clustering |g (Extended Abstract) / |r Luca Gugelmann, Konstantinos Panagiotou and Ueli Peter -- |t Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks / |r Navendu Jain, Ishai Menache, Joseph (Seffi) Naor and F. Bruce Shepherd -- |t Counting Arbitrary Subgraphs in Data Streams / |r Daniel M. Kane, Kurt Mehlhorn, Thomas Sauerwald and He Sun -- |t k-Chordal Graphs: From Cops and Robber to Compact Routing via Treewidth / |r Adrian Kosowski, Bi Li, Nicolas Nisse and Karol Suchan -- |t Contention Issues in Congestion Games / |r Elias Koutsoupias and Katia Papakonstantinopoulou -- |t Online Mechanism Design (Randomized Rounding on the Fly) / |r Piotr Krysta and Berthold Vöcking -- |t Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization / |r Marcel Ochel, Klaus Radke and Berthold Vöcking -- |t Distributed Algorithms for Network Diameter and Girth / |r David Peleg, Liam Roditty and Elad Tal. |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008108876. | |
| 650 | 0 | |a Computer programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007004295. | |
| 650 | 7 | |a Computer programming. |2 fast |0 (OCoLC)fst00872390. | |
| 650 | 7 | |a Programming languages (Electronic computers) |2 fast |0 (OCoLC)fst01078704. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Czumaj, Artur. |0 http://id.loc.gov/authorities/names/nb2012024334 |1 http://isni.org/isni/0000000356539059. | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642315848. |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-31585-5 |z Full Text (via Springer) |
| 830 | 0 | |a Lecture notes in computer science ; |v 7392. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science. |p Advanced research in computing and software science. |0 http://id.loc.gov/authorities/names/no2009179746. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 http://id.loc.gov/authorities/names/no2007042902. | |
| 907 | |a .b71916180 |b 04-01-21 |c 09-28-12 | ||
| 915 | |a - | ||
| 998 | |a web |b 03-31-21 |c b |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b71916180 |b 03-31-21 |c 09-28-12 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2012 English International | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2012 English International | ||
| 999 | f | f | |i 9d7ceb79-d18a-5581-bc67-02a7c7219425 |s 417405f3-44d0-542a-b8d4-4dcf48863ebe |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.7 .I58 2012 |h Library of Congress classification |i Ebooks, Prospector |n 1 |