Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides. On Graph Calculi for Multi-modal Logics. Electronic Notes in Theoretical Computer Science, 312:231-252, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.