David M Cerna

David M Cerna

Institute of Experimental Medicine - / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 5361647
Institut experimentálního lékařství
person_outline David M Cerna's MOST POPULAR ARTICLES
1-) Anti-unification and generalization: a surveyDM Cerna, T KutsiaarXiv preprint arXiv:2302.00277, 2023222023
2-) Schematic cut elimination and the ordered pigeonhole principleDM Cerna, A LeitschInternational Joint Conference on Automated Reasoning, 241-256, 2016212016
3-) Idempotent anti-unificationD Cerna, T KutsiaACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019142019
4-) Advances in schematic cut eliminationDM CernaTechnische Universität Wien, 2015142015
5-) Learning higher-order logic programs from failuresSJ Purgał, DM Cerna, C KaliszykIJCAI 2022, 2726-2733, 2022112022