Bounds for the Quantifier Depth in Finite-Variable Logics

Berkholz, Christoph (Corresponding author); Krebs, Andreas (Corresponding author); Verbitsky, Oleg (Corresponding author)

New York, NY : Association for Computing Machinery (2015)
Journal Article

In: ACM transactions on computational logic
Volume: 16
Issue: 3
Page(s)/Article-Nr.: 1-26