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
Identifier
- DOI: 10.1145/2732409
- RWTH PUBLICATIONS: RWTH-2015-04506