- Record: found
- Abstract: found
- Book Chapter: found
Foundations of Software Science and Computation Structures
Optimal Satisfiability Checking for Arithmetic \(\mu \) -Calculi
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references26
- Record: found
- Abstract: not found
- Article: not found
Results on the propositional μ-calculus
Dexter Kozen (1983)
- Record: found
- Abstract: not found
- Book Chapter: not found
12 Modal mu-calculi
Julian Bradfield, Colin Stirling (2007)
- Record: found
- Abstract: not found
- Article: not found
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Dirk Pattinson (2003)