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