Fingerprint
Dive into the research topics of 'Logics with Counting and Equivalence'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Ian Pratt-Hartmann, Thomas Henzinger (Editor), Dale Miller (Editor)
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review