Publication | Closed Access
On second-order generalized quantifiers and finite structures
12
Citations
6
References
2002
Year
Automated ReasoningFirst-order LogicSecond-order Generalized QuantifiersFinite Model TheoryHigher-order Logic
| Year | Citations | |
|---|---|---|
Page 1
Page 1