dblp: LICS 2012: Dubrovnik, Croatia

27th LICS 2012: Dubrovnik, Croatia

SPARQL queries 

Refine list

showing all ?? records

Invited Papers

Invited Tutorials

Kleene Award Paper

Regular Papers