Paul Tarau. Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. In Marco Maratea, Mauro Vallati, editors, Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. Volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
@inproceedings{Tarau18-1,
title = {Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic},
author = {Paul Tarau},
year = {2018},
url = {http://ceur-ws.org/Vol-2271/paper1.pdf},
researchr = {https://researchr.org/publication/Tarau18-1},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018},
editor = {Marco Maratea and Mauro Vallati},
volume = {2271},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}