Slicewise definability in first-order logic with bounded quantifier rank

17.08.2017 14:00 - 18:00

KGRC SE, Yijia Chen (Fudan Univ. Shanghai),

Organiser:

KGRC

Location:

KGRC, Währingerstr. 25, 2 OG, Room 101