Two-Variable First Order Logic with Counting Quantifiers: Complexity Results.

Kamal Lodaya, A. V. Sreejith

Browse the full DLT paper archive.