Publication | Closed Access
Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus
160
Citations
6
References
2000
Year
EngineeringAutomated ReasoningPropositional LogicPropositional μ-CalculusClassical LogicFormal MethodsSequent Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1