Marcelo Arenas, Pablo Barcelo and Leonid Libkin. (2003) Game-based Notions of Locality. Short presentation, 18th Annual IEEE Symposium on Logic in Computer Science (LICS03). Ottawa, Canada. (2003)

Game-based Notions of Locality.

Tipo de publicación : Otros

Game-based Notions of Locality.

Abstract