Chen, Y., Elberfeld, M., & Müller, M. (2019). The parameterized space complexity of model-checking bounded variable first-order logic. Logical methods in computer science, 15, Issue 3, . https://doi.org/10.23638/LMCS-15(3:31)2019
Citace podle Chicago (17th ed.)Chen, Yijia, Michael Elberfeld, a Moritz Müller. "The Parameterized Space Complexity of Model-checking Bounded Variable First-order Logic." Logical Methods in Computer Science 15, Issue 3 (2019). https://doi.org/10.23638/LMCS-15(3:31)2019.
Citace podle MLA (9th ed.)Chen, Yijia, et al. "The Parameterized Space Complexity of Model-checking Bounded Variable First-order Logic." Logical Methods in Computer Science, vol. 15, Issue 3, 2019, https://doi.org/10.23638/LMCS-15(3:31)2019.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..