Graphical representation of covariant-contravariant modal formulae
- Aceto, L.
- Fábregas, I.
- De FrutosEscrig, D.
- Ingólfsdóttir, A.
- Palomino, M.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2011
Volume: 64
Páxinas: 1-15
Tipo: Achega congreso
