Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Actes:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Any de publicació: 2013
Pàgines: 438-447
Tipus: Aportació congrés