Äärellisten mallien seminaari

Äärellisten mallien seminaari pidetään Tampereella, Pinni B0016:ssa perjantaina 16.11. klo 12-14

Kerkko Luosto: GUHA-jatkot Alustus Tampereen loogikkojen syystapaamisessa.


Finite model theory seminar

Finite model theory seminar will take place in Tampere, in Pinni B0016 on Friday, 16.11. at 12-14

Kerkko Luosto: GUHA and unary quantifiers revisited The original GUHA and unary quantifiers.