Äärellisten mallien seminaari

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

Raine Rönnholm: Aikalogiikoiden validisuusongelman ratkaiseminen semanttisten puiden avulla


Finite model theory seminar

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

Raine Rönnholm: Solving the validity problem of temporal logics with tableau methods