Graphical representation of covariant-contravariant modal formulae

  1. Aceto, L.
  2. Fábregas, I.
  3. De FrutosEscrig, D.
  4. Ingólfsdóttir, A.
  5. Palomino, M.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Año de publicación: 2011

Volumen: 64

Páginas: 1-15

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.64.1 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus