From logic to games,

Igor Walukiewicz (LaBRI).


Invited Conference, FSTTCS'05, Lect. Notes in Computer Science 3821, Springer 2005, pp. 78-91


Slides

@InProceedings{wal05fct,
  author =      {Igor Walukiewicz},
  title =      {From logic to games},
  booktitle = {FSTTCS'05},
  pages =      {78--91},
  year =      2005,
  volume =      3821,
  series =      lncs
}