@Article{         1936,
  Author        = "Church, Alonzo and Rosser, J. B.",
  copyright     = "Copyright {\copyright} 1936 American Mathematical Society",
  date-added    = "2013-02-27 10:24:06 +0000",
  date-modified = "2013-02-27 10:25:13 +0000",
  ISSN          = "00029947",
  Journal       = "Transactions of the American Mathematical Society",
  jstor_articletype="research-article",
  jstor_formatteddate="May, 1936",
  Keywords      = "term rewriting systems",
  Language      = "English",
  Number        = "3",
  Pages         = "pp. 472-482",
  Publisher     = "American Mathematical Society",
  Title         = "Some Properties of Conversion",
  URL           = "http://www.jstor.org/stable/1989762",
  Volume        = "39",
  Year          = "1936",
  bdsk-url-1    = "http://www.jstor.org/stable/1989762",
  File          = "Some Properties of Conversion - Church, Rosser (0) (0) - a - a - q.pdf",
  file-2        = "Some Properties of Conversion - Church, Rosser (1) (0) - a - a - q.pdf"
}

@Article{ 1936, Author = "Church, Alonzo and Rosser, J. B.", copyright = "Copyright {\copyright} 1936 American Mathematical Society", date-added = "2013-02-27 10:24:06 +0000", date-modified = "2013-02-27 10:25:13 +0000", ISSN = "00029947", Journal = "Transactions of the American Mathematical Society", jstor_articletype="research-article", jstor_formatteddate="May, 1936", Keywords = "term rewriting systems", Language = "English", Number = "3", Pages = "pp. 472-482", Publisher = "American Mathematical Society", Title = "Some Properties of Conversion", URL = "http://www.jstor.org/stable/1989762", Volume = "39", Year = "1936", bdsk-url-1 = "http://www.jstor.org/stable/1989762", File = "Some Properties of Conversion - Church, Rosser (0) (0) - a - a - q.pdf", file-2 = "Some Properties of Conversion - Church, Rosser (1) (0) - a - a - q.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge