TY  - JOUR

T1  - Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth

JO  - ACM Transactions on Computational Logic

UR  - http://dx.doi.org/10.1145/3489466

PY  - 2022/01/18

AU  - Podder M

AU  - Zhukovskii M

ED  - 

DO  - DOI: 10.1145/3489466

PB  - Association for Computing Machinery (ACM)

VL  - 23

IS  - 2

SP  - 1

EP  - 27

Y2  - 2024/12/23

ER  -