Gheerbrant Amélie

Доклады и лекции в базе данных Math-Net.Ru

1. Complete axiomatization of the Stutter-invariant fragment of the linear time $\mu$-calculus
   Amélie Gheerbrant
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   24 августа 2010 г. 12:20