@bachelorthesis{  Czyba,
  Author        = "Czyba, Christopher",
  date-added    = "2015-04-23 18:46:40 +0000",
  date-modified = "2015-04-23 18:46:59 +0000",
  School        = "Aachen",
  Title         = "Finite Automata with Infinite Structures as Alphabet: Closure Properties and Decidability Results",
  Year          = "2015",
  File          = "Finite Automata with Infinite Structures as Alphabet Closure Properties and Decidability Results - Czyba (0) (0) - a - a - e.pdf"
}

@bachelorthesis{ Czyba, Author = "Czyba, Christopher", date-added = "2015-04-23 18:46:40 +0000", date-modified = "2015-04-23 18:46:59 +0000", School = "Aachen", Title = "Finite Automata with Infinite Structures as Alphabet: Closure Properties and Decidability Results", Year = "2015", File = "Finite Automata with Infinite Structures as Alphabet Closure Properties and Decidability Results - Czyba (0) (0) - a - a - e.pdf" }