18th November 2016, 12 am – 2 pm. Fausto Barbero will be giving a presentation “Complexity of prefixes of Independence-Friendly logic” at the University Tampere “Finite Model Theory seminar”(Äärellisten mallien seminaari), room Pinni B0020.
18th November 2016, 12 am – 2 pm. Fausto Barbero will be giving a presentation “Complexity of prefixes of Independence-Friendly logic” at the University Tampere “Finite Model Theory seminar”(Äärellisten mallien seminaari), room Pinni B0020.