Analytic Calculi for Non-Classical Logics: Theory and Applications

Ciabattoni, Agata

doi:10.4230/LIPIcs.CSL.2016.4

by Agata Ciabattoni

Reference:

Analytic Calculi for Non-Classical Logics: Theory and ApplicationsAgata Ciabattoni (Jean-Marc Talbot, Laurent Regnier, eds.), volume 62 of LIPIcs, pages 4:1–4:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Bibtex Entry:

@ignore_inproceedings{DBLP:conf/csl/Ciabattoni16,
  author    = {Agata Ciabattoni},
  title     = {Analytic Calculi for Non-Classical Logics: Theory and Applications},
  booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
               August 29 - September 1, 2016, Marseille, France},
  pages     = {4:1--4:1},
  year      = {2016},
  crossref  = {DBLP:conf/csl/2016},
  url       = {http://dx.doi.org/10.4230/LIPIcs.CSL.2016.4},
  doi       = {10.4230/LIPIcs.CSL.2016.4},
  timestamp = {Tue, 30 Aug 2016 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csl/Ciabattoni16},
  editor    = {Jean{-}Marc Talbot and
               Laurent Regnier},
  series    = {LIPIcs},
  volume    = {62},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}