Parikh, R. (1978). A completeness result for a propositional dynamic logic. Mass. Inst. of Technology, Lab. for Computer Science.
Chicago-Zitierstil (17. Ausg.)Parikh, Rohit. A Completeness Result for a Propositional Dynamic Logic. Cambridge, Mass: Mass. Inst. of Technology, Lab. for Computer Science, 1978.
MLA-Zitierstil (9. Ausg.)Parikh, Rohit. A Completeness Result for a Propositional Dynamic Logic. Mass. Inst. of Technology, Lab. for Computer Science, 1978.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.