A Tableaux Calculus for Reducing Proof Size (bibtex)
by Michael Peter Lettmann, Nicolas Peltier
Reference:
A Tableaux Calculus for Reducing Proof SizeMichael Peter Lettmann, Nicolas PeltierCoRR, volume abs/1801.04163, 2018.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1801-04163,
  author    = {Michael Peter Lettmann and
               Nicolas Peltier},
  title     = {A Tableaux Calculus for Reducing Proof Size},
  journal   = {CoRR},
  volume    = {abs/1801.04163},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.04163},
  archivePrefix = {arXiv},
  eprint    = {1801.04163},
  timestamp = {Thu, 01 Feb 2018 19:52:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-04163},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser