%0 Conference Paper %1 conf/lics/FriedLOV18 %A Fried, Dror %A Legay, Axel %A Ouaknine, Joël %A Vardi, Moshe Y. %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K %P 432-441 %T Sequential Relational Decomposition. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#FriedLOV18

@inproceedings{conf/lics/FriedLOV18, added-at = {2023-12-14T16:08:27.000+0100}, author = {Fried, Dror and Legay, Axel and Ouaknine, Joël and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/20d5dd5abb6020286e9c37199ec93fbf9/admin}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209203}, interhash = {f412e4d4babce8c522f60afeaae12ca4}, intrahash = {0d5dd5abb6020286e9c37199ec93fbf9}, keywords = {}, pages = {432-441}, publisher = {ACM}, timestamp = {2023-12-14T16:08:27.000+0100}, title = {Sequential Relational Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#FriedLOV18}, year = 2018 }