%0 Conference Paper %1 conf/tbillc/BucheliKS11 %A Bucheli, Samuel %A Kuznets, Roman %A Studer, Thomas %B TbiLLC %D 2011 %E Bezhanishvili, Guram %E Löbner, Sebastian %E Marra, Vincenzo %E Richter, Frank %I Springer %K dblp %P 166-181 %T Decidability for Justification Logics Revisited. %U http://dblp.uni-trier.de/db/conf/tbillc/tbillc2011.html#BucheliKS11 %V 7758 %@ 978-3-642-36975-9

@inproceedings{conf/tbillc/BucheliKS11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Bucheli, Samuel and Kuznets, Roman and Studer, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/25609b5bd7b132ab3c8544c15888ee286/dblp}, booktitle = {TbiLLC}, crossref = {conf/tbillc/2011}, editor = {Bezhanishvili, Guram and Löbner, Sebastian and Marra, Vincenzo and Richter, Frank}, ee = {https://doi.org/10.1007/978-3-642-36976-6_12}, interhash = {17eab550d3cefbbf54ce061f8bb9cfa5}, intrahash = {5609b5bd7b132ab3c8544c15888ee286}, isbn = {978-3-642-36975-9}, keywords = {dblp}, pages = {166-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:44:12.000+0200}, title = {Decidability for Justification Logics Revisited.}, url = {http://dblp.uni-trier.de/db/conf/tbillc/tbillc2011.html#BucheliKS11}, volume = 7758, year = 2011 }