Proof normalization modulo - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gilles Dowek, Benjamin Werner. Proof normalization modulo. Journal of Symbolic Logic, 68(4):1289-1316, 2003. [doi]

@article{DowekW03,
  title = {Proof normalization modulo},
  author = {Gilles Dowek and Benjamin Werner},
  year = {2003},
  url = {http://projecteuclid.org/euclid.jsl/1067620188},
  researchr = {https://researchr.org/publication/DowekW03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {68},
  number = {4},
  pages = {1289-1316},
}

runs on WebDSL