APA (7th ed.) Citation

KOŁODZIEJCZYK, L. A., MICHALEWSKI, H., PRADIC, C., & SKRZYPCZAK, M. (2019). THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM. Logical Methods in Computer Science (LMCS), 15(2), 1. https://doi.org/10.23638/LMCS-15(2:16)2019

Chicago Style (17th ed.) Citation

KOŁODZIEJCZYK, LESZEK A., HENRYK MICHALEWSKI, CÉCILIA PRADIC, and MICHAŁ SKRZYPCZAK. "THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM." Logical Methods in Computer Science (LMCS) 15, no. 2 (2019): 1. https://doi.org/10.23638/LMCS-15(2:16)2019.

MLA (9th ed.) Citation

KOŁODZIEJCZYK, LESZEK A., et al. "THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM." Logical Methods in Computer Science (LMCS), vol. 15, no. 2, 2019, p. 1, https://doi.org/10.23638/LMCS-15(2:16)2019.