@InProceedings{   Meyer:LC:1975,
  Author        = "Meyer, Albert R.",
  Editor        = "Parikh, Rohit",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Logic Colloquium",
  date-added    = "2020-01-22 18:06:09 +0100",
  date-modified = "2020-01-22 18:07:29 +0100",
  ISBN          = "978-3-540-37483-1",
  Pages         = "132--154",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Weak monadic second order theory of succesor is not elementary-recursive",
  Year          = "1975",
  File          = "Weak monadic second order theory of succesor is not elementary-recursive - meyer1975 - a - a - a - d.pdf"
}

@InProceedings{ Meyer:LC:1975, Author = "Meyer, Albert R.", Editor = "Parikh, Rohit", Address = "Berlin, Heidelberg", BookTitle = "Logic Colloquium", date-added = "2020-01-22 18:06:09 +0100", date-modified = "2020-01-22 18:07:29 +0100", ISBN = "978-3-540-37483-1", Pages = "132--154", Publisher = "Springer Berlin Heidelberg", Title = "Weak monadic second order theory of succesor is not elementary-recursive", Year = "1975", File = "Weak monadic second order theory of succesor is not elementary-recursive - meyer1975 - a - a - a - d.pdf" }