@Article{         BuchiLandweber:AMS:1969,
  Author        = {B{\"u}chi, J. Richard and Landweber, Lawrence H.},
  date-added    = "2020-01-03 12:26:05 +0100",
  date-modified = "2020-01-03 12:26:27 +0100",
  ISSN          = "00029947",
  Journal       = "Transactions of the American Mathematical Society",
  Pages         = "295--311",
  Publisher     = "American Mathematical Society",
  Title         = "Solving Sequential Conditions by Finite-State Strategies",
  URL           = "http://www.jstor.org/stable/1994916",
  Volume        = "138",
  Year          = "1969",
  bdsk-url-1    = "http://www.jstor.org/stable/1994916",
  File          = "Buchi, J. R., \& Landweber, L. H. (1969). Solving Sequential Conditions by Finite-State Strategies. Transactions of the American Mathematical Society, 138, 295. doi-10.23071994916  - buchi1969 - a - a - a - s.pdf",
  file-2        = "10.1.1.924.5148 - a - a - a - s.pdf",
  doi = {10.2307/1994916},
  url = {https://doi.org/10.2307%2F1994916}
}

@Article{ BuchiLandweber:AMS:1969, Author = {B{\"u}chi, J. Richard and Landweber, Lawrence H.}, date-added = "2020-01-03 12:26:05 +0100", date-modified = "2020-01-03 12:26:27 +0100", ISSN = "00029947", Journal = "Transactions of the American Mathematical Society", Pages = "295--311", Publisher = "American Mathematical Society", Title = "Solving Sequential Conditions by Finite-State Strategies", URL = "http://www.jstor.org/stable/1994916", Volume = "138", Year = "1969", bdsk-url-1 = "http://www.jstor.org/stable/1994916", File = "Buchi, J. R., \& Landweber, L. H. (1969). Solving Sequential Conditions by Finite-State Strategies. Transactions of the American Mathematical Society, 138, 295. doi-10.23071994916  - buchi1969 - a - a - a - s.pdf", file-2 = "10.1.1.924.5148 - a - a - a - s.pdf", doi = {10.2307/1994916}, url = {https://doi.org/10.2307%2F1994916} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge