@Misc{            rozycki:slides,
  Author        = "R{\'o}{\.z}ycki, Jakub",
  date-added    = "2021-04-15 10:58:22 +0200",
  date-modified = "2021-04-29 11:00:55 +0200",
  HowPublished  = "slides",
  Month         = "April",
  Title         = {On the Expressiveness of B{\"u}chi Arithmetic},
  Year          = "2021",
  File          = "Buchi\_arithmetic\_\_\_automata\_seminar.pdf"
}

@Misc{ rozycki:slides, Author = "R{\'o}{.z}ycki, Jakub", date-added = "2021-04-15 10:58:22 +0200", date-modified = "2021-04-29 11:00:55 +0200", HowPublished = "slides", Month = "April", Title = {On the Expressiveness of B{\"u}chi Arithmetic}, Year = "2021", File = "Buchi_arithmetic___automata_seminar.pdf" }