Ujkan Sulejmani

According to our database, Ujkan Sulejmani authored at least 2 papers in 2022.

Collaborative distances:

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

2022

Verified Approximation Algorithms.

Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

Log. Methods Comput. Sci., 2022

The Hales-Jewett Theorem.

Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer

Arch. Formal Proofs, 2022