%0 Conference Paper %1 conf/cie/LehtinenQ17 %A Lehtinen, Karoliina %A Quickert, Sandra %B CiE %D 2017 %E Kari, Jarkko %E Manea, Florin %E Petre, Ion %I Springer %K dblp %P 292-303 %T ∑μ2 is decidable for ∏μ2. %U http://dblp.uni-trier.de/db/conf/cie/cie2017.html#LehtinenQ17 %V 10307 %@ 978-3-319-58741-7

@inproceedings{conf/cie/LehtinenQ17, added-at = {2017-06-07T00:00:00.000+0200}, author = {Lehtinen, Karoliina and Quickert, Sandra}, biburl = {https://www.bibsonomy.org/bibtex/23b70902b1e206089f04a6d84464aec67/dblp}, booktitle = {CiE}, crossref = {conf/cie/2017}, editor = {Kari, Jarkko and Manea, Florin and Petre, Ion}, ee = {https://doi.org/10.1007/978-3-319-58741-7_28}, interhash = {fc0b88db722cf42bcffd131b244dc94f}, intrahash = {3b70902b1e206089f04a6d84464aec67}, isbn = {978-3-319-58741-7}, keywords = {dblp}, pages = {292-303}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:51.000+0200}, title = {∑μ2 is decidable for ∏μ2.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2017.html#LehtinenQ17}, volume = 10307, year = 2017 }