Dagnino, F. (2019). Coaxioms: Flexible coinductive definitions by inference systems. Logical methods in computer science, 15, Issue 1, . https://doi.org/10.23638/LMCS-15(1:26)2019
Citace podle Chicago (17th ed.)Dagnino, Francesco. "Coaxioms: Flexible Coinductive Definitions by Inference Systems." Logical Methods in Computer Science 15, Issue 1 (2019). https://doi.org/10.23638/LMCS-15(1:26)2019.
Citace podle MLA (9th ed.)Dagnino, Francesco. "Coaxioms: Flexible Coinductive Definitions by Inference Systems." Logical Methods in Computer Science, vol. 15, Issue 1, 2019, https://doi.org/10.23638/LMCS-15(1:26)2019.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..