%0 Conference Paper %1 conf/tableaux/ChihaniLR15 %A Chihani, Zakaria %A Libal, Tomer %A Reis, Giselle %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K dblp %P 201-210 %T The Proof Certifier Checkers. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#ChihaniLR15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/ChihaniLR15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Chihani, Zakaria and Libal, Tomer and Reis, Giselle}, biburl = {https://www.bibsonomy.org/bibtex/22f2e7ac8df73487c5ced642c0b8400b6/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_14}, interhash = {c4b6e12b242664ff81dfcbeec74e6bef}, intrahash = {2f2e7ac8df73487c5ced642c0b8400b6}, isbn = {978-3-319-24311-5}, keywords = {dblp}, pages = {201-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:42:04.000+0200}, title = {The Proof Certifier Checkers.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#ChihaniLR15}, volume = 9323, year = 2015 }