SPECIAL ISSUE:
Selected Articles of the Conference: Logic in Computer Science (LICS) 2011
Toronto, Ontario, Canada, 2011



Preface
P. Baillot, M. Grohe, S. Kreutzer


Formalizing Randomized Matching Algorithms
Dai Tri Man Le and Stephen A. Cook


Isomorphisms of types in the presence of higher-order references (extended version)
Pierre Clairambault


First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Lars Birkedal, Rasmus Ejle Møgelberg, Jan Schwinghammer and Kristian Støvring


Linear Dependent Types and Relative Completeness
Ugo Dal Lago and Marco Gaboardi


Markov Decision Processes with Multiple Long-run Average Objectives
Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt and Antonín Kučera


Automata theory in nominal sets
Mikołaj Bojańczyk, Bartek Klin and Sławomir Lasota



DOI: 10.2168/LMCS-LICS:2011

Creative Commons