Citace podle APA (7th ed.)

Carayol, A., & Serre, O. (2012, January). Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. 2012 27th Annual IEEE Symposium on Logic in Computer Science, 165-174. https://doi.org/10.1109/LICS.2012.73

Citace podle Chicago (17th ed.)

Carayol, A., a O. Serre. "Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection." 2012 27th Annual IEEE Symposium on Logic in Computer Science Jan. 2012: 165-174. https://doi.org/10.1109/LICS.2012.73.

Citace podle MLA (9th ed.)

Carayol, A., a O. Serre. "Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection." 2012 27th Annual IEEE Symposium on Logic in Computer Science, Jan. 2012, pp. 165-174, https://doi.org/10.1109/LICS.2012.73.

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