Unsound Inferences Make Proofs Shorter (bibtex)
by Juan P. Aguilera, Matthias Baaz
Reference:
Unsound Inferences Make Proofs ShorterJuan P. Aguilera, Matthias BaazJ. Symb. Log., volume 84, number 1, pages 102–122, 2019.
Bibtex Entry:
@article{DBLP:journals/jsyml/AguileraB19,
  author    = {Juan P. Aguilera and
               Matthias Baaz},
  title     = {Unsound Inferences Make Proofs Shorter},
  journal   = {J. Symb. Log.},
  volume    = {84},
  number    = {1},
  pages     = {102--122},
  year      = {2019},
  url       = {https://doi.org/10.1017/jsl.2018.51},
  doi       = {10.1017/jsl.2018.51},
}
Powered by bibtexbrowser