%0 Conference Paper %1 conf/diagrams/FreitasV12 %A de Freitas, Renata P. %A Viana, Petrucio %B Diagrams %D 2012 %E Cox, Philip T. %E Plimmer, Beryl %E Rodgers, Peter J. %I Springer %K dblp %P 324-326 %T A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. %U http://dblp.uni-trier.de/db/conf/diagrams/diagrams2012.html#FreitasV12 %V 7352 %@ 978-3-642-31222-9

@inproceedings{conf/diagrams/FreitasV12, added-at = {2017-05-26T00:00:00.000+0200}, author = {de Freitas, Renata P. and Viana, Petrucio}, biburl = {https://www.bibsonomy.org/bibtex/2017cb52e020eecd196476db4b0ebca99/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_40}, interhash = {451ff4d488c3fcfea83b9d9a0be05401}, intrahash = {017cb52e020eecd196476db4b0ebca99}, isbn = {978-3-642-31222-9}, keywords = {dblp}, pages = {324-326}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:37:16.000+0200}, title = {A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.}, url = {http://dblp.uni-trier.de/db/conf/diagrams/diagrams2012.html#FreitasV12}, volume = 7352, year = 2012 }