%0 Conference Paper %1 conf/diagrams/BurtonSH12 %A Burton, Jim %A Stapleton, Gem %A Howse, John %B Diagrams %D 2012 %E Cox, Philip T. %E Plimmer, Beryl %E Rodgers, Peter J. %I Springer %K dblp %P 318-320 %T Completeness Proofs for Diagrammatic Logics. %U http://dblp.uni-trier.de/db/conf/diagrams/diagrams2012.html#BurtonSH12 %V 7352 %@ 978-3-642-31222-9

@inproceedings{conf/diagrams/BurtonSH12, added-at = {2020-01-13T00:00:00.000+0100}, author = {Burton, Jim and Stapleton, Gem and Howse, John}, biburl = {https://www.bibsonomy.org/bibtex/29f99320e979c147f44bf84d169522a59/dblp}, booktitle = {Diagrams}, crossref = {conf/diagrams/2012}, editor = {Cox, Philip T. and Plimmer, Beryl and Rodgers, Peter J.}, ee = {https://doi.org/10.1007/978-3-642-31223-6_38}, interhash = {70baf3054dc1af9a280a4090c5a21e3b}, intrahash = {9f99320e979c147f44bf84d169522a59}, isbn = {978-3-642-31222-9}, keywords = {dblp}, pages = {318-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-14T11:43:20.000+0100}, title = {Completeness Proofs for Diagrammatic Logics.}, url = {http://dblp.uni-trier.de/db/conf/diagrams/diagrams2012.html#BurtonSH12}, volume = 7352, year = 2012 }