%0 Conference Paper %1 conf/tableaux/CiabattoniFGL15 %A Ciabattoni, Agata %A Freschi, Elisa %A Genco, Francesco A. %A Lellmann, Björn %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K dblp %P 323-338 %T Mīmāṃsā Deontic Logic: Proof Theory and Applications. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#CiabattoniFGL15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/CiabattoniFGL15, added-at = {2017-06-05T00:00:00.000+0200}, author = {Ciabattoni, Agata and Freschi, Elisa and Genco, Francesco A. and Lellmann, Björn}, biburl = {https://www.bibsonomy.org/bibtex/250cf2726a9f14500a8a531bca95c760e/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_22}, interhash = {b5c9dfe3aea719a4659b100e053d3dcc}, intrahash = {50cf2726a9f14500a8a531bca95c760e}, isbn = {978-3-319-24311-5}, keywords = {dblp}, pages = {323-338}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:50:01.000+0200}, title = {Mīmāṃsā Deontic Logic: Proof Theory and Applications.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#CiabattoniFGL15}, volume = 9323, year = 2015 }