XIII Summer Workshop in Mathematics. Book of Abstracts
Bibliografická citace
CERNA, David M. Anti-unification: Applications and Recent Results. In: XIII Summer Workshop in Mathematics. Book of Abstracts. Brasilia: University of Brasilia, 2021, S. 197-197. Dostupné z: https://www.mat.unb.br/verao2021/computacao_en.html
