Wijesekera, D., & Nerode, A. (2005). Tableaux for constructive concurrent dynamic logic. Annals of pure and applied logic, 135(1), 1-72. https://doi.org/10.1016/j.apal.2004.12.001
Citácia podle Chicago (17th ed.)Wijesekera, Duminda, a Anil Nerode. "Tableaux for Constructive Concurrent Dynamic Logic." Annals of Pure and Applied Logic 135, no. 1 (2005): 1-72. https://doi.org/10.1016/j.apal.2004.12.001.
Citácia podľa MLA (8th ed.)Wijesekera, Duminda, a Anil Nerode. "Tableaux for Constructive Concurrent Dynamic Logic." Annals of Pure and Applied Logic, vol. 135, no. 1, 2005, pp. 1-72, https://doi.org/10.1016/j.apal.2004.12.001.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..