Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}