by Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
Reference:
PrefaceMatthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Wellervolume 27, number 2, pages 415, 2017.
Bibtex Entry:
@ignore_article{DBLP:journals/logcom/BaazCGHW17,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Stefan Hetzl and
Daniel Weller},
title = {Preface},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {415},
year = {2017},
url = {http://dx.doi.org/10.1093/logcom/exu076},
doi = {10.1093/logcom/exu076},
timestamp = {Mon, 27 Mar 2017 18:32:30 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BaazCGHW17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}