Fingerprint
Dive into the research topics of 'Counterpart Semantics for a Second-Order mu-Calculus'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Counterpart Semantics for a Second-Order mu-Calculus
Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
Research output: Contribution to journal › Journal article › Research › peer-review