Michal Grabowski. Non-uniformity of dynamic logic - Extended abstract. In Andrzej Skowron, editor, Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings. Volume 208 of Lecture Notes in Computer Science, pages 91-97, Springer, 1984. [doi]
@inproceedings{Grabowski84-0, title = {Non-uniformity of dynamic logic - Extended abstract}, author = {Michal Grabowski}, year = {1984}, doi = {10.1007/3-540-16066-3_9}, url = {http://dx.doi.org/10.1007/3-540-16066-3_9}, tags = {logic}, researchr = {https://researchr.org/publication/Grabowski84-0}, cites = {0}, citedby = {0}, pages = {91-97}, booktitle = {Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings}, editor = {Andrzej Skowron}, volume = {208}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-16066-3}, }