Ing. Ján Komara, PhD.
lektor
Katedra aplikovanej informatiky
Faculty of Mathematics, Physics and Informatics
Comenius University Bratislava
Mlynská dolina F1
842 48 Bratislava
Slovakia
Selected publications
- Komara, J. Efficient elimination of Skolem functions in LKʰ. Arch. Math. Logic 61 , 503–534 (2022). https://doi.org/10.1007/s00153-021-00798-z https://app.crepc.sk/?fn=detailBiblioForm&sid=2B6C9B3B6E03D6F406A30DBAFD
- Komara, J. Efficient elimination of Skolem functions in LKh. arXiv.org (2020), Art. No. ArXiv:1909.01697. https://arxiv.org/abs/1909.01697 https://app.crepc.sk/?fn=detailBiblioForm&sid=66C74FF48D413BFF4FDC3EA132
- Ján Komara. On completeness of Hausdorff hyperspaces. arXiv.org (2025), Art. No. ArXiv:2505.06571. https://arxiv.org/abs/2025.06571
Timetable
| Day | Time | Room | Form | Course | Lecturers | ||
|---|---|---|---|---|---|---|---|
| Mon | 09:00 - 10:30 | A | Lecture | 1-AIN-121 | Diskrétna matematika (1) | J. Komara, I. Bečková | |
| Tue | 11:30 - 13:00 | M-II | Tutorial | 1-AIN-121 | Diskrétna matematika (1) | J. Komara | |
| Thu | 11:30 - 13:00 | M-X | Course | 1-AIN-121 | Diskrétna matematika (1) | J. Komara | |