The strength of replacement in weak arithmetic. Cook, S. A. & Thapen, N. ACM Trans. Comput. Log. (TOCL), 7(4):749-764, 2006.
The strength of replacement in weak arithmetic [link]Paper  bibtex   
@article{ dblp2943504,
  title = {The strength of replacement in weak arithmetic},
  author = {Stephen A. Cook and Neil Thapen},
  author_short = {Cook, S. A. and Thapen, N.},
  bibtype = {article},
  type = {article},
  year = {2006},
  key = {dblp2943504},
  id = {dblp2943504},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tocl/CookT06},
  url = {http://doi.acm.org/10.1145/1183278.1183283},
  journal = {ACM Trans. Comput. Log. (TOCL)},
  pages = {749-764},
  number = {4},
  volume = {7},
  text = {ACM Trans. Comput. Log. (TOCL) 7(4):749-764 (2006)}
}
Downloads: 0