Mīmāṃsā Deontic Logic: Proof Theory and Applications (bibtex)
by Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Reference:
Mīmāṃsā Deontic Logic: Proof Theory and ApplicationsAgata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn LellmannAutomated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings (Hans de Nivelle, ed.), volume 9323 of Lecture Notes in Computer Science, pages 323–338, 2015, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/tableaux/CiabattoniFGL15,
  author    = {Agata Ciabattoni and
               Elisa Freschi and
               Francesco A. Genco and
               Bj{\"{o}}rn Lellmann},
  title     = {{Mīmāṃsā} Deontic Logic: Proof Theory and Applications},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
               International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
               21-24, 2015. Proceedings},
  pages     = {323--338},
  year      = {2015},
  url = {http://arxiv.org/abs/1705.03211},
  doi       = {10.1007/978-3-319-24312-2_22},
  timestamp = {Thu, 16 Jun 2016 15:16:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/CiabattoniFGL15},
  editor    = {Hans de Nivelle},
  series    = {Lecture Notes in Computer Science},
  volume    = {9323},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser