%0 Conference Paper %1 conf/lics/FigueiraFB23 %A Figueira, Diego %A Figueira, Santiago %A Baque, Edwin Pin %B LICS %D 2023 %I IEEE %K dblp %P 1-13 %T PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. %U http://dblp.uni-trier.de/db/conf/lics/lics2023.html#FigueiraFB23 %@ 979-8-3503-3587-3

@inproceedings{conf/lics/FigueiraFB23, added-at = {2024-05-29T00:00:00.000+0200}, author = {Figueira, Diego and Figueira, Santiago and Baque, Edwin Pin}, biburl = {https://www.bibsonomy.org/bibtex/27abde78cdc597d62981ec63cadf3a603/dblp}, booktitle = {LICS}, crossref = {conf/lics/2023}, ee = {https://doi.org/10.1109/LICS56636.2023.10175813}, interhash = {466d3cf009b9bceb54edee24d90ff8e7}, intrahash = {7abde78cdc597d62981ec63cadf3a603}, isbn = {979-8-3503-3587-3}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2024-06-03T07:16:45.000+0200}, title = {PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2023.html#FigueiraFB23}, year = 2023 }