Complexity of prefixes of Independence-Friendly logic

Aktivitet: Typer för tal eller presentation!!Invited talk

Period18 nov. 2016
VidResearch Seminar in Finite Model Theory, Finland