Algebraic proof theory: Hypersequents and hypercompletions (bibtex)
by Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Reference:
Algebraic proof theory: Hypersequents and hypercompletionsAgata Ciabattoni, Nikolaos Galatos, Kazushige TeruiAnn. Pure Appl. Logic, volume 168, number 3, pages 693–737, 2017.
Bibtex Entry:
@article{DBLP:journals/apal/CiabattoniGT17,
  author    = {Agata Ciabattoni and
               Nikolaos Galatos and
               Kazushige Terui},
  title     = {Algebraic proof theory: Hypersequents and hypercompletions},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {168},
  number    = {3},
  pages     = {693--737},
  year      = {2017},
  url       = {http://dx.doi.org/10.1016/j.apal.2016.10.012},
  doi       = {10.1016/j.apal.2016.10.012},
  timestamp = {Mon, 02 Jan 2017 14:57:42 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/CiabattoniGT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser