Košík

0561005 - ÚI 2023 RIV AR eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M.
When First-order Unification Calls itself.
Informal Proceedings of the 35th International Workshop on Unification (UNIF 2021). Buenos Aires, 2022 - (Baader, F.; Baumgartner, A.), s. 1-6
[UNIF 2021: International Workshop on Unification /35./. Buenos Aires / Virtual (AR), 18.07.2022-18.07.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Unification theory * Induction * Termination
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.uoh.cl/unif-2021/assets/proceedings-UNIF2021.pdf
Trvalý link: https://hdl.handle.net/11104/0333757