@Misc{            Lehtinen:2017aa,
  Author        = "Lehtinen, Karoliina",
  date-added    = "2018-04-02 09:01:28 +0000",
  date-modified = "2018-10-30 10:46:00 +0100",
  HowPublished  = "draft",
  Keywords      = "parity games",
  Title         = "A modal mu perspective on solving parity games in quasipolynomial time",
  Year          = "2018",
  File          = "register-index-slides (0) - a - a - l.pdf",
  file-2        = "register-index-april'18 (0) - a - a - l.pdf",
  file-3        = "register-index (0) - a - a - l.pdf"
}

@Misc{ Lehtinen:2017aa, Author = "Lehtinen, Karoliina", date-added = "2018-04-02 09:01:28 +0000", date-modified = "2018-10-30 10:46:00 +0100", HowPublished = "draft", Keywords = "parity games", Title = "A modal mu perspective on solving parity games in quasipolynomial time", Year = "2018", File = "register-index-slides (0) - a - a - l.pdf", file-2 = "register-index-april'18 (0) - a - a - l.pdf", file-3 = "register-index (0) - a - a - l.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge