Algebraic semantics for Nelson’s logic S
- Nascimento, T.
- Rivieccio, U.
- Marcos, J.
- Spinks, M.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662576687
Ano de publicación: 2018
Volume: 10944 LNCS
Páxinas: 271-288
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783662576687
Ano de publicación: 2018
Volume: 10944 LNCS
Páxinas: 271-288
Tipo: Achega congreso