BibTeX record journals/lmsjcm/Adams00

download as .bib file

@article{DBLP:journals/lmsjcm/Adams00,
  author       = {Andrew A. Adams},
  title        = {A Formalisation of Weak Normalisation (with Respect to Permutations)
                  of Sequent Calculus Proofs},
  journal      = {{LMS} J. Comput. Math.},
  volume       = {3},
  pages        = {1--26},
  year         = {2000},
  url          = {https://doi.org/10.1112/s1461157000000188},
  doi          = {10.1112/S1461157000000188},
  timestamp    = {Fri, 05 Apr 2024 17:17:09 +0200},
  biburl       = {https://dblp.org/rec/journals/lmsjcm/Adams00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}