Complexity of the two-variable fragment with counting quantifiers

Cached

Download Links

by Ian Pratt-hartmann
Venue:Journal of Logic, Language and Information
Citations:66 - 5 self