Jad Koleilat

According to our database, Jad Koleilat authored at least 1 paper in 2024.

Collaborative distances:

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

2024

On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles.

Hugo Herbelin, Jad Koleilat

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024