%0 Conference Paper %1 conf/spire/KosolobovMN17 %A Kosolobov, Dmitry %A Manea, Florin %A Nowotka, Dirk %B SPIRE %D 2017 %E Fici, Gabriele %E Sciortino, Marinella %E Venturini, Rossano %I Springer %K dblp %P 254-270 %T Detecting One-Variable Patterns. %U http://dblp.uni-trier.de/db/conf/spire/spire2017.html#KosolobovMN17 %V 10508 %@ 978-3-319-67428-5

@inproceedings{conf/spire/KosolobovMN17, added-at = {2017-09-14T00:00:00.000+0200}, author = {Kosolobov, Dmitry and Manea, Florin and Nowotka, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/218c8a24a29f13c65adf4098ddc3c5b1b/dblp}, booktitle = {SPIRE}, crossref = {conf/spire/2017}, editor = {Fici, Gabriele and Sciortino, Marinella and Venturini, Rossano}, ee = {https://doi.org/10.1007/978-3-319-67428-5_22}, interhash = {952b6f86a4dd0bbe46817e2239c0de58}, intrahash = {18c8a24a29f13c65adf4098ddc3c5b1b}, isbn = {978-3-319-67428-5}, keywords = {dblp}, pages = {254-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:18:18.000+0200}, title = {Detecting One-Variable Patterns.}, url = {http://dblp.uni-trier.de/db/conf/spire/spire2017.html#KosolobovMN17}, volume = 10508, year = 2017 }