Gheerbrant Amélie

Presentations in Math-Net.Ru

1. Complete axiomatization of the Stutter-invariant fragment of the linear time $\mu$-calculus
   Amélie Gheerbrant
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 24, 2010 12:20