%0 Conference Paper %1 journals/corr/LibalV16 %A Libal, Tomer %A Volpe, Marco %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K dblp %P 257-271 %T Certification of Prefixed Tableau Proofs for Modal Logic. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#LibalV16 %V 226

@inproceedings{journals/corr/LibalV16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Libal, Tomer and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/26d5cefc7c2238feaa37f6a6bc29a9254/dblp}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {https://www.wikidata.org/entity/Q113691898}, interhash = {7149a8d73c02c6aeef4bcef4661d5e8e}, intrahash = {6d5cefc7c2238feaa37f6a6bc29a9254}, keywords = {dblp}, pages = {257-271}, series = {EPTCS}, timestamp = {2024-04-10T03:59:17.000+0200}, title = {Certification of Prefixed Tableau Proofs for Modal Logic.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#LibalV16}, volume = 226, year = 2016 }