Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Actas:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Ano de publicación: 2013
Páxinas: 438-447
Tipo: Achega congreso