Jedelský, J. (2026). On first-order model checking parameterized by the number of variables.
Style de citation Chicago (17e éd.)Jedelský, Jan. On First-order Model Checking Parameterized by the Number of Variables. 2026.
Style de citation MLA (9e éd.)Jedelský, Jan. On First-order Model Checking Parameterized by the Number of Variables. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.