Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.

Antonis Achilleos, Aggeliki Chalki

Browse the full MFCS paper archive.