Alexander Pluska
Univ.Ass. / MSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Contact
- alexander.pluska@tuwien.ac.at
- Favoritenstrasse 9, Room HA0311
- vCard from TISS
Courses
2023W
- Formal Methods in Computer Science / 185.A93 / UE
- Formal Methods in Computer Science / 185.291 / VU
2024S
- Computer-Aided Verification / 181.144 / UE
Publications
- Embedding Intuitionistic into Classical Logic / Pluska, A., & Zuleger, F. (2023). Embedding Intuitionistic into Classical Logic. In R. Piskac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 329–349). https://doi.org/10.29007/b294