Vyžádat soubor

Reference/citace:  DE OLIVEIRA OLIVEIRA, Mateus. Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth. In: GUO, J., HERMELIN, D., eds. 11th International Symposium on Parameterized and Exact Computation (IPEC 2016). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017, s. 1-12, č. článku 25. Leibniz International Proceedings in Informatics, 63. ISBN 978-3-95977-023-1. ISSN 1868-8969
Vyžádané dokumenty:  DeOliveiraOliveira1.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.