%0 Journal Article %1 journals/eccc/LuckMS14 %A Lück, Martin %A Meier, Arne %A Schindler, Irina %D 2014 %J Electron. Colloquium Comput. Complex. %K dblp %T Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies. %U http://dblp.uni-trier.de/db/journals/eccc/eccc21.html#LuckMS14 %V TR14

@article{journals/eccc/LuckMS14, added-at = {2022-09-27T00:00:00.000+0200}, author = {Lück, Martin and Meier, Arne and Schindler, Irina}, biburl = {https://www.bibsonomy.org/bibtex/238d9c8c5352d32672191028669432971/dblp}, ee = {https://eccc.weizmann.ac.il/report/2014/134}, interhash = {01cde2bb5d2c6faf2db4fad91db1762e}, intrahash = {38d9c8c5352d32672191028669432971}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:12:24.000+0200}, title = {Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc21.html#LuckMS14}, volume = {TR14}, year = 2014 }