Bounds for the Quantifier Depth in Finite-Variable Logics

New York, NY / Association for Computing Machinery (2015) [Journal Article]

ACM transactions on computational logic
Volume: 16
Issue: 3
Page(s): 1-26

Authors

Authors

Berkholz, Christoph
Krebs, Andreas
Verbitsky, Oleg

Identifier