DMCA

Complexity of the Two- Variable Fragment with Counting Quantifiers

by Ian Pratt-hartmann