%0 Conference Paper %1 conf/rta/GodoyH07 %A Godoy, Guillem %A Huntingford, Eduard %B RTA %D 2007 %E Baader, Franz %I Springer %K dblp %P 184-199 %T Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/rta/rta2007.html#GodoyH07 %V 4533 %@ 978-3-540-73447-5

@inproceedings{conf/rta/GodoyH07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Godoy, Guillem and Huntingford, Eduard}, biburl = {https://www.bibsonomy.org/bibtex/2fe477f4bbae62b2bcd09473b7313b904/dblp}, booktitle = {RTA}, crossref = {conf/rta/2007}, editor = {Baader, Franz}, ee = {https://doi.org/10.1007/978-3-540-73449-9_15}, interhash = {68841b50fad00eeb2e34ae2dcdd93824}, intrahash = {fe477f4bbae62b2bcd09473b7313b904}, isbn = {978-3-540-73447-5}, keywords = {dblp}, pages = {184-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:18:56.000+0200}, title = {Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2007.html#GodoyH07}, volume = 4533, year = 2007 }