%0 Conference Paper %1 conf/iwpec/Oliveira16 %A de Oliveira Oliveira, Mateus %B IPEC %D 2016 %E Guo, Jiong %E Hermelin, Danny %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 25:1-25:12 %T Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2016.html#Oliveira16 %V 63 %@ 978-3-95977-023-1

@inproceedings{conf/iwpec/Oliveira16, added-at = {2018-08-23T00:00:00.000+0200}, author = {de Oliveira Oliveira, Mateus}, biburl = {https://www.bibsonomy.org/bibtex/29edb96e504726054fa7894dd668ecbc9/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2016}, editor = {Guo, Jiong and Hermelin, Danny}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2016.25}, interhash = {3656f5eb82c0d94f449606ad62290dce}, intrahash = {9edb96e504726054fa7894dd668ecbc9}, isbn = {978-3-95977-023-1}, keywords = {dblp}, pages = {25:1-25:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:52:50.000+0100}, title = {Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2016.html#Oliveira16}, volume = 63, year = 2016 }