Hierarchia Minca dla kwantyfikatora egzystencjalnego

You are not logged in | Log in

PL /
EN

Speaker(s): Aleksy Schubert
Affiliation: MIM
Language of the talk: Polish
Date: Dec. 18, 2026, 12:15 p.m.
Room: room 5450
Title in English: Minc hierarchy for the existential quantifier
Seminar: Seminar Semantics, Logic, Verification and its Applications