%0 Conference Paper %1 conf/ershov/Paleo15 %A Paleo, Bruno Woltzenlogel %B Ershov Memorial Conference %D 2015 %E Mazzara, Manuel %E Voronkov, Andrei %I Springer %K dblp %P 314-324 %T Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#Paleo15 %V 9609 %@ 978-3-319-41578-9

@inproceedings{conf/ershov/Paleo15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/206859e9f4e430521d15158e3590d16a6/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2015}, editor = {Mazzara, Manuel and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-319-41579-6_24}, interhash = {82c59b3ea111834e14fee5589930032b}, intrahash = {06859e9f4e430521d15158e3590d16a6}, isbn = {978-3-319-41578-9}, keywords = {dblp}, pages = {314-324}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:07:00.000+0200}, title = {Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#Paleo15}, volume = 9609, year = 2015 }