Äärellisten mallien seminaari

Äärellisten mallien seminaari pidetään Tampereella, Pinni B0020:ssa perjantaina 8.2. klo 14-16

Lauri Hella: Helmipeli ja inkluusiologiikka


Finite model theory seminar

Finite model theory seminar will take place in Tampere, in Pinni B0020 on Friday, 8.2. at 14-16

Lauri Hella: Pebble game and inclusion logic