%0 Conference Paper %1 conf/birthday/KreutzerL08 %A Kreutzer, Stephan %A Lange, Martin %B Logic and Automata %D 2008 %E Flum, Jörg %E Grädel, Erich %E Wilke, Thomas %I Amsterdam University Press %K %P 423-456 %T Non-regular fixed-point logics and games. %U http://dblp.uni-trier.de/db/conf/birthday/thomas2008.html#KreutzerL08 %V 2 %@ 978-90-5356-576-6

@inproceedings{conf/birthday/KreutzerL08, added-at = {2023-12-14T14:59:09.000+0100}, author = {Kreutzer, Stephan and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2539dc269ad88360dac67bb6d52943d0a/admin}, booktitle = {Logic and Automata}, crossref = {conf/birthday/2008thomas}, editor = {Flum, Jörg and Grädel, Erich and Wilke, Thomas}, interhash = {e5c6ba40e3b5edbb811d01d461cd6e18}, intrahash = {539dc269ad88360dac67bb6d52943d0a}, isbn = {978-90-5356-576-6}, keywords = {}, pages = {423-456}, publisher = {Amsterdam University Press}, series = {Texts in Logic and Games}, timestamp = {2023-12-14T14:59:09.000+0100}, title = {Non-regular fixed-point logics and games.}, url = {http://dblp.uni-trier.de/db/conf/birthday/thomas2008.html#KreutzerL08}, volume = 2, year = 2008 }