%0 Conference Paper %1 journals/corr/BruseK016 %A Bruse, Florian %A Kernberger, Daniel %A Lange, Martin %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K %P 120-134 %T A Canonical Model Construction for Iteration-Free PDL with Intersection. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#BruseK016 %V 226

@inproceedings{journals/corr/BruseK016, added-at = {2023-12-13T06:56:43.000+0100}, author = {Bruse, Florian and Kernberger, Daniel and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/27696ce48c697d44b73fda04ae72d70d4/admin}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {http://arxiv.org/abs/1609.04093}, interhash = {b3878a8b380031af940e8b899df4eccd}, intrahash = {7696ce48c697d44b73fda04ae72d70d4}, keywords = {}, pages = {120-134}, series = {EPTCS}, timestamp = {2023-12-13T06:56:43.000+0100}, title = {A Canonical Model Construction for Iteration-Free PDL with Intersection.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#BruseK016}, volume = 226, year = 2016 }