Alexander Pluska

According to our database, Alexander Pluska authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Embedding Intuitionistic into Classical Logic.

Alexander Pluska, Florian Zuleger

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023