%0 Conference Paper %1 journals/corr/abs-2209-10377 %A Aceto, Luca %A Achilleos, Antonis %A Anastasiadi, Elli %A Francalanza, Adrian %A Ingólfsdóttir, Anna %B GandALF %D 2022 %E Ganty, Pierre %E Monica, Dario Della %K dblp %P 34-48 %T Complexity through Translations for Modal Logic with Recursion. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs370.html#abs-2209-10377 %V 370

@inproceedings{journals/corr/abs-2209-10377, added-at = {2022-10-31T00:00:00.000+0100}, author = {Aceto, Luca and Achilleos, Antonis and Anastasiadi, Elli and Francalanza, Adrian and Ingólfsdóttir, Anna}, biburl = {https://www.bibsonomy.org/bibtex/2b648176f5103abc46eab66e07fd32dbf/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-2209-09333}, editor = {Ganty, Pierre and Monica, Dario Della}, ee = {https://doi.org/10.48550/arXiv.2209.10377}, interhash = {2c5202f8438fa374b2bed4e00a609441}, intrahash = {b648176f5103abc46eab66e07fd32dbf}, keywords = {dblp}, pages = {34-48}, series = {EPTCS}, timestamp = {2024-04-09T09:30:27.000+0200}, title = {Complexity through Translations for Modal Logic with Recursion.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs370.html#abs-2209-10377}, volume = 370, year = 2022 }