0555404 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M.A Special Case of Schematic Syntactic Unification.
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Piscataway: IEEE, 2021 - (Schneider, C.; Marin, M.; Negru, V.; Zaharie, D.), s. 75-82. ISBN 978-1-6654-0650-5.
[SYNASC 2021: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing /23./. Timisoara / Virtual (RO), 07.12.2021-10.12.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Unification * recursion * schema * induction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1109/SYNASC54541.2021.00024
Trvalý link: http://hdl.handle.net/11104/0329925
