@InProceedings{   Makowsky:WoLLIC:2010,
  Author        = "Makowsky, Johann A.",
  Editor        = "Dawar, Anuj and de Queiroz, Ruy",
  Abstract      = {Chomsky and Sch{\"u}tzenberger showed in 1963 that the sequence dL(n), which counts the number of words of a given length n in a regular language L, satisfies a linear recurrence relation with constant coefficients for n, or equivalently, the generating function {\$}g{\\_}L(x)={\backslash}sum{\\_}{\{}n{\}} d{\\_}L(n) x^n{\$}is a rational function. In this talk we survey results concerning sequences a(n) of natural numbers which satisfy linear recurrence relations over ℤ or ℤm, andhave a combinatorial or logical interpretation.},
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of WOLLIC'10",
  date-added    = "2020-10-04 09:34:34 +0200",
  date-modified = "2020-10-04 09:34:54 +0200",
  ISBN          = "978-3-642-13824-9",
  Pages         = "34--41",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Application of Logic to Integer Sequences: A Survey",
  Year          = "2010",
  File          = "Application of Logic to Integer Sequences - A Survey - Makowsky2010\_Chapter\_ApplicationOfLogicToIntegerSeq - a - k.pdf"
}

@InProceedings{ Makowsky:WoLLIC:2010, Author = "Makowsky, Johann A.", Editor = "Dawar, Anuj and de Queiroz, Ruy", Abstract = {Chomsky and Sch{\"u}tzenberger showed in 1963 that the sequence dL(n), which counts the number of words of a given length n in a regular language L, satisfies a linear recurrence relation with constant coefficients for n, or equivalently, the generating function {\$}g{\}L(x)={\backslash}sum{\}{{}n{}} d{\_}L(n) x^n{\$}is a rational function. In this talk we survey results concerning sequences a(n) of natural numbers which satisfy linear recurrence relations over ℤ or ℤm, andhave a combinatorial or logical interpretation.}, Address = "Berlin, Heidelberg", BookTitle = "Proc. of WOLLIC'10", date-added = "2020-10-04 09:34:34 +0200", date-modified = "2020-10-04 09:34:54 +0200", ISBN = "978-3-642-13824-9", Pages = "34--41", Publisher = "Springer Berlin Heidelberg", Title = "Application of Logic to Integer Sequences: A Survey", Year = "2010", File = "Application of Logic to Integer Sequences - A Survey - Makowsky2010_Chapter_ApplicationOfLogicToIntegerSeq - a - k.pdf" }