Vyžádat soubor
Reference/citace: CERNA, David M. When First-order Unification Calls itself. In: BAADER, F., BAUMGARTNER, A., eds. Informal Proceedings of the 35th International Workshop on Unification (UNIF 2021). Buenos Aires, 2022, s. 1-6. Dostupné z: https://www.uoh.cl/unif-2021/assets/proceedings-UNIF2021.pdf
Vyžádané dokumenty: 0561005-aw.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.