The problem of Pi2-cut-introduction (bibtex)
by Alexander Leitsch, Michael Peter Lettmann
Reference:
The problem of Pi2-cut-introductionAlexander Leitsch, Michael Peter LettmannTheor. Comput. Sci., volume 706, pages 83–116, 2018.
Bibtex Entry:
@article{DBLP:journals/tcs/LeitschL18,
  author    = {Alexander Leitsch and
               Michael Peter Lettmann},
  title     = {The problem of  Pi2-cut-introduction},
  journal   = {Theor. Comput. Sci.},
  volume    = {706},
  pages     = {83--116},
  year      = {2018},
  url       = {https://arxiv.org/abs/1611.08208},
  doi       = {10.1016/j.tcs.2017.10.003},
  timestamp = {Fri, 24 Nov 2017 15:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LeitschL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser