Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Sort by

Fingerprint