On the complexity of the isomorphism problem for sequential theories

Speaker(s)

Mateusz Łełyk

Language of the talk

English

Date

Nov. 4, 2026, 12:10 p.m.

Room

room 5450

Seminar

Seminar Mathematical Logic

---