%0 Conference Paper %1 conf/rta/DurandSS10 %A Durand, Irène %A Sénizergues, Géraud %A Sylvestre, Marc %B RTA %D 2010 %E Lynch, Christopher %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 341-356 %T Termination of linear bounded term rewriting systems. %U http://dblp.uni-trier.de/db/conf/rta/rta2010.html#DurandSS10 %V 6 %@ 978-3-939897-18-7

@inproceedings{conf/rta/DurandSS10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Durand, Irène and Sénizergues, Géraud and Sylvestre, Marc}, biburl = {https://www.bibsonomy.org/bibtex/278d439c4ae87d9a03a5ff505dd382b76/dblp}, booktitle = {RTA}, crossref = {conf/rta/2010}, editor = {Lynch, Christopher}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2010.341}, interhash = {3016009ca07f254767a35b412d050d08}, intrahash = {78d439c4ae87d9a03a5ff505dd382b76}, isbn = {978-3-939897-18-7}, keywords = {dblp}, pages = {341-356}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:16.000+0100}, title = {Termination of linear bounded term rewriting systems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2010.html#DurandSS10}, volume = 6, year = 2010 }