RUS
ENG
Full version
PEOPLE
Otto Martin
Presentations in Math-Net.Ru
Expressive completeness
Martin Otto
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 26, 2010
10:45
©
Steklov Math. Inst. of RAS
, 2024