Author:Alexander Pluska

Publications
Embedding Intuitionistic into Classical Logic Alexander Pluska and Florian Zuleger In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning