Suzuki Tomoyuki

Presentations in Math-Net.Ru

1. Bi-approximation semantics for substructural logic at work
   Tomoyuki Suzuki
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 27, 2010 09:50