%0 Conference Paper %1 conf/rp/NauroisM10 %A de Naurois, Paulin Jacobé %A Mogbil, Virgile %B RP %D 2010 %E Kucera, Antonín %E Potapov, Igor %I Springer %K dblp %P 133-145 %T Rewriting Systems for Reachability in Vector Addition Systems with Pairs. %U http://dblp.uni-trier.de/db/conf/rp/rp2010.html#NauroisM10 %V 6227 %@ 978-3-642-15348-8

@inproceedings{conf/rp/NauroisM10, added-at = {2017-05-26T00:00:00.000+0200}, author = {de Naurois, Paulin Jacobé and Mogbil, Virgile}, biburl = {https://www.bibsonomy.org/bibtex/2356525358bf97e35382b9fbbafcaea50/dblp}, booktitle = {RP}, crossref = {conf/rp/2010}, editor = {Kucera, Antonín and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-642-15349-5_9}, interhash = {ce1b4e2fdc7046fab2f24afef62477db}, intrahash = {356525358bf97e35382b9fbbafcaea50}, isbn = {978-3-642-15348-8}, keywords = {dblp}, pages = {133-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:40:11.000+0200}, title = {Rewriting Systems for Reachability in Vector Addition Systems with Pairs.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2010.html#NauroisM10}, volume = 6227, year = 2010 }