[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Aschieri:
"On Herbrand constructive Logics III: Intuitionistic logic of constant domains";
Talk: Classical Logic and Computation" (CL&C 2018), Oxford; 2018-07-07.


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