%0 Conference Paper %1 journals/corr/abs-2108-10490 %A Alsmann, Eric %A Bruse, Florian %A Lange, Martin %B EXPRESS/SOS %D 2021 %E Dardha, Ornela %E Castiglioni, Valentina %K dblp %P 10-26 %T Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs339.html#abs-2108-10490 %V 339

@inproceedings{journals/corr/abs-2108-10490, added-at = {2021-11-29T00:00:00.000+0100}, author = {Alsmann, Eric and Bruse, Florian and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c730aeb7fe1d6fc2318f1e3da606fa31/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/abs-2108-09624}, editor = {Dardha, Ornela and Castiglioni, Valentina}, ee = {https://arxiv.org/abs/2108.10490}, interhash = {cc675de9db85a72d5331e10fb1de92a3}, intrahash = {c730aeb7fe1d6fc2318f1e3da606fa31}, keywords = {dblp}, pages = {10-26}, series = {EPTCS}, timestamp = {2024-04-09T09:30:23.000+0200}, title = {Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs339.html#abs-2108-10490}, volume = 339, year = 2021 }