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 |
Externí odkaz: |
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 |
Externí odkaz: |