%0 Conference Paper %1 conf/wollic/VolpeMC12 %A Volpe, Marco %A Marcos, João %A Caleiro, Carlos %B WoLLIC %D 2012 %E Ong, C.-H. Luke %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 321-335 %T Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#VolpeMC12 %V 7456 %@ 978-3-642-32620-2

@inproceedings{conf/wollic/VolpeMC12, added-at = {2024-10-06T00:00:00.000+0200}, author = {Volpe, Marco and Marcos, João and Caleiro, Carlos}, biburl = {https://www.bibsonomy.org/bibtex/253fd80163c3fa261d1264876982d273b/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2012}, editor = {Ong, C.-H. Luke and de Queiroz, Ruy J. G. B.}, ee = {https://www.wikidata.org/entity/Q61593313}, interhash = {6fd3e0b85510d7ccf36ec0c867d9a2bb}, intrahash = {53fd80163c3fa261d1264876982d273b}, isbn = {978-3-642-32620-2}, keywords = {dblp}, pages = {321-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T10:09:50.000+0200}, title = {Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#VolpeMC12}, volume = 7456, year = 2012 }