39. ICALP 2012:
Warwick, UK - Part II Artur Czumaj , Kurt Mehlhorn , Andrew M. Pitts , Roger Wattenhofer (Eds.):
Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II.
Lecture Notes in Computer Science 7392 Springer 2012, ISBN 978-3-642-31584-8 Invited Talks
export record as
dblp key:
conf/icalp/BaldeschiHLS12 export record as
dblp key:
Gilles Dowek :
A Theory Independent Curry-De Bruijn-Howard Correspondence.
13-15
export record as
dblp key:
David Harel :
Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture).
16-22
export record as
dblp key:
Kohei Honda :
Session Types and Distributed Computing.
23
export record as
dblp key:
Daniel A. Spielman :
Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations.
24-26
export record as
dblp key:
Berthold Vöcking :
Randomized Mechanisms for Multi-unit Auctions - (Extended Abstract).
27-29
Track B - Logic Semantics, Automata and Theory of Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icalp/BroadbentCHS12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marcelo P. Fiore :
Discrete Generalised Polynomial Functors - (Extended Abstract).
214-226
export record as
dblp key:
Hongfei Fu :
Computing Game Metrics on Markov Decision Processes.
227-238
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Szymon Torunczyk :
Languages of Profinite Words and the Limitedness Problem.
377-389
export record as
dblp key:
Yaron Velner :
The Complexity of Mean-Payoff Automaton Expression.
390-402
Track C - Foundations of Networked Computation
export record as
dblp key:
export record as
dblp key:
conf/icalp/Bar-YehudaKKR12 export record as
dblp key:
export record as
dblp key:
conf/icalp/BhawalkarKLRS12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icalp/DiakonikolasPPS12 export record as
dblp key:
export record as
dblp key:
Khaled M. Elbassioni :
A QPTAS for [InlineEquation not available: see fulltext.]-Envy-Free Profit-Maximizing Pricing on Line Graphs.
513-524
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icalp/KoutsoupiasP12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
