Vytisknout
0533995 - ÚI 2021 US eng J - Článek v odborném periodiku
Cerna, David M. - Kutsia, T.
Idempotent Anti-unification.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 10. ISSN 1529-3785. E-ISSN 1557-945X
Klíčová slova: unification * Anti-unification * generalization * idempotence * regular tree grammar
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0312217
Cerna, David M. - Kutsia, T.
Idempotent Anti-unification.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 10. ISSN 1529-3785. E-ISSN 1557-945X
Klíčová slova: unification * Anti-unification * generalization * idempotence * regular tree grammar
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0312217