(Q130878644)
Statements
Bounds for the Quantifier Depth in Finite-Variable Logics (English)
1 reference
Christoph Berkholz
1 reference
Andreas Krebs
1 reference
Oleg Verbitsky
1 reference
22 April 2015
1 reference
16
1 reference
3
1 reference
1-26
1 reference
Identifiers
1 reference