%0 Conference Paper %1 conf/tableaux/0002K19 %A Färber, Michael %A Kaliszyk, Cezary %B TABLEAUX %D 2019 %E Cerrito, Serenella %E Popescu, Andrei %I Springer %K dblp %P 21-38 %T Certification of Nonclausal Connection Tableaux Proofs. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2019.html#0002K19 %V 11714 %@ 978-3-030-29026-9

@inproceedings{conf/tableaux/0002K19, added-at = {2022-03-16T00:00:00.000+0100}, author = {Färber, Michael and Kaliszyk, Cezary}, biburl = {https://www.bibsonomy.org/bibtex/28a0dded724809cd4b870cc3ee7bfd24a/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2019}, editor = {Cerrito, Serenella and Popescu, Andrei}, ee = {https://www.wikidata.org/entity/Q108482113}, interhash = {93c3b6dcc695bfc28a39bb80498c9285}, intrahash = {8a0dded724809cd4b870cc3ee7bfd24a}, isbn = {978-3-030-29026-9}, keywords = {dblp}, pages = {21-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:42:05.000+0200}, title = {Certification of Nonclausal Connection Tableaux Proofs.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2019.html#0002K19}, volume = 11714, year = 2019 }