%0 Conference Paper %1 journals/entcs/VelosoVB15 %A Veloso, Paulo A. S. %A Veloso, Sheila R. M. %A Benevides, Mario R. F. %B LSFA %D 2014 %E Ayala-Rincón, Mauricio %E Mackie, Ian %I Elsevier %K dblp %P 231-252 %T On Graph Calculi for Multi-modal Logics. %U http://dblp.uni-trier.de/db/journals/entcs/entcs312.html#VelosoVB15 %V 312

@inproceedings{journals/entcs/VelosoVB15, added-at = {2022-08-16T00:00:00.000+0200}, author = {Veloso, Paulo A. S. and Veloso, Sheila R. M. and Benevides, Mario R. F.}, biburl = {https://www.bibsonomy.org/bibtex/2ff8a266eaf06b2b0c56b7b296fe844d0/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2014}, editor = {Ayala-Rincón, Mauricio and Mackie, Ian}, ee = {https://www.wikidata.org/entity/Q113317800}, interhash = {bf09acadc97e3f816a7491fa2838a683}, intrahash = {ff8a266eaf06b2b0c56b7b296fe844d0}, keywords = {dblp}, pages = {231-252}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:39.000+0200}, title = {On Graph Calculi for Multi-modal Logics.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs312.html#VelosoVB15}, volume = 312, year = 2014 }