Výsledky vyhledávání
- 1.0584853 - ÚI 2025 eng C - Konferenční příspěvek (zahraniční konf.)
Ayala-Rincón, M. - Cerna, David M. - Barragán, A. F. G. - Kutsia, T.
Equational Anti-Unification over Absorption Theories (accepted).
IJCAR 2024 Proceedings (to appear). 2024.
[IJCAR 2024: International Joint Conference on Automated Reasoning /12./. Nancy (FR), 01.07.2024-06.07.2024]
Grant CEP: GA ČR(CZ) GF22-06414L
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0352643Název souboru Staženo Velikost Komentář Verze Přístup 0584853-apre.pdf 0 293 KB v.1 Autorský preprint povolen
Vědecká data: Preprint - ArXiv.org