Algebraizability of the Logic of Quasi-N4-Lattices
- Neto, C.S.L.
- da Silva, T.N.
- Rivieccio, U.
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Any de publicació: 2022
Volum: 358
Pàgines: 240-253
Tipus: Aportació congrés