Citace podle APA (7th ed.)

Abel, A., & Scherer, G. (2012). On Irrelevance and Algorithmic Equality in Predicative Type Theory. Logical methods in computer science, 8, Issue 1, . https://doi.org/10.2168/LMCS-8(1:29)2012

Citace podle Chicago (17th ed.)

Abel, Andreas, a Gabriel Scherer. "On Irrelevance and Algorithmic Equality in Predicative Type Theory." Logical Methods in Computer Science 8, Issue 1 (2012). https://doi.org/10.2168/LMCS-8(1:29)2012.

Citace podle MLA (9th ed.)

Abel, Andreas, a Gabriel Scherer. "On Irrelevance and Algorithmic Equality in Predicative Type Theory." Logical Methods in Computer Science, vol. 8, Issue 1, 2012, https://doi.org/10.2168/LMCS-8(1:29)2012.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..