[Back]


Talks and Poster Presentations (without Proceedings-Entry):

O. Majer, C. Fermüller:
"On the Expressivity of the Propositional Fragment of Independence Friendly Logic";
Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15.


Created from the Publication Database of the Vienna University of Technology.