Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth

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. Available: doi: 10.4230/LIPIcs.IPEC.2016.25.