On a graph calculus for modalities

Autor: Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.
Zdroj: In Theoretical Computer Science 15 July 2017 685:83-103
Databáze: ScienceDirect