Nikolaos Galatos (Japan): Decidability for involutive residuated lattices |
![]() |
|||
|
||||
|
||||
JEvents v3.1.8 Stable Copyright © 2006-2013