Citáce podľa APA (7th ed.)

Brede, N., & Herbelin, H. (2021, June 29). On the logical structure of choice and bar induction principles. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470523

Citácia podle Chicago (17th ed.)

Brede, Nuria, a Hugo Herbelin. "On the Logical Structure of Choice and Bar Induction Principles." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470523.

Citácia podľa MLA (8th ed.)

Brede, Nuria, a Hugo Herbelin. "On the Logical Structure of Choice and Bar Induction Principles." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470523.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..