@slides{          Silva,
  Author        = "Silva, Alexandra",
  comments      = "PhD open lecture",
  date-added    = "2015-12-13 10:54:16 +0000",
  date-modified = "2015-12-13 10:55:39 +0000",
  Keywords      = "Kleene algebra",
  Title         = "Kleene Algebra and Kleene Algebra with Tests: An Introduction",
  where         = "University of Warsaw",
  Year          = "2015",
  File          = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (3) (0) - a - a - i.pdf",
  file-2        = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (0) (0) - a - a - i.pdf",
  file-3        = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (1) (0) - a - a - i.pdf",
  file-4        = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (2) (0) - a - a - i.pdf"
}

@slides{ Silva, Author = "Silva, Alexandra", comments = "PhD open lecture", date-added = "2015-12-13 10:54:16 +0000", date-modified = "2015-12-13 10:55:39 +0000", Keywords = "Kleene algebra", Title = "Kleene Algebra and Kleene Algebra with Tests: An Introduction", where = "University of Warsaw", Year = "2015", File = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (3) (0) - a - a - i.pdf", file-2 = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (0) (0) - a - a - i.pdf", file-3 = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (1) (0) - a - a - i.pdf", file-4 = "Kleene Algebra and Kleene Algebra with Tests An Introduction - Silva (2) (0) - a - a - i.pdf" }