A Counting Logic for Structure Transition Systems.

Lukasz Kaiser, Simon Leenich

Browse the full CSL paper archive.