Logics with Counting and Equivalence

Ian Pratt-Hartmann, Thomas Henzinger (Editor), Dale Miller (Editor)

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Fingerprint

    Dive into the research topics of 'Logics with Counting and Equivalence'. Together they form a unique fingerprint.

    Computer Science