Anti-unification: Applications and Recent Results

Bibliographic details

Authors

David M. Cerna

Publication year

2021

Publication type

Abstrakt

Periodical

XIII Summer Workshop in Mathematics. Book of Abstracts

Bibliographic citation

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

ID

560936