Reviewed publications

• Further papers and preprints

2017

• A Logical Reconstruction of Batcher’s Mergers Bitonicity is a Red Herring#
  Ralf Hinze and Clare Martin. In J. UCS, volume 23, number 1, pages 21–41 2017. (bib, url)

  
  @article{DBLP:journals/jucs/HinzeM17,
    author = {Ralf Hinze and
                 Clare Martin},
    title = {A Logical Reconstruction of Batcher's Mergers \emph{Or: } Bitonicity
                 is a Red Herring},
    journal = {J. {UCS}},
    volume = {23},
    number = {1},
    pages = {21--41},
    year = {2017},
    url = {http://www.jucs.org/jucs_23_1/a_logical_reconstruction_of},
    timestamp = {Thu, 16 Mar 2017 19:03:06 +0100},
    biburl = {https://dblp.org/rec/bib/journals/jucs/HinzeM17},
    bibsource = {dblp computer science bibliography, https://dblp.org},
  }