Search results
- 1.0584853 - ÚI 2025 eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GF22-06414L
Institutional support: RVO:67985807
Permanent Link: https://hdl.handle.net/11104/0352643File Download Size Commentary Version Access 0584853-apre.pdf 0 293 KB v.1 Author´s preprint open-access
Research data: Preprint - ArXiv.org