Complexity of the two-variable fragment with counting quantifiers

Cached

Download Links

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