%0 Conference Paper %1 conf/appt/ZhangJ07 %A Zhang, Zhiguo %A Jiang, Yunfei %B APPT %D 2007 %E Xu, Ming %E Zhan, Yinwei %E Cao, Jiannong %E Liu, Yijun %I Springer %K dblp %P 600-607 %T Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization. %U http://dblp.uni-trier.de/db/conf/appt/appt2007.html#ZhangJ07 %V 4847 %@ 978-3-540-76836-4

@inproceedings{conf/appt/ZhangJ07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Zhang, Zhiguo and Jiang, Yunfei}, biburl = {https://www.bibsonomy.org/bibtex/22f6549a7375183ee9694e2277628c996/dblp}, booktitle = {APPT}, crossref = {conf/appt/2007}, editor = {Xu, Ming and Zhan, Yinwei and Cao, Jiannong and Liu, Yijun}, ee = {https://doi.org/10.1007/978-3-540-76837-1_65}, interhash = {75c3000cb6c616b1789a555296c77d82}, intrahash = {2f6549a7375183ee9694e2277628c996}, isbn = {978-3-540-76836-4}, keywords = {dblp}, pages = {600-607}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:32:23.000+0200}, title = {Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.}, url = {http://dblp.uni-trier.de/db/conf/appt/appt2007.html#ZhangJ07}, volume = 4847, year = 2007 }