Publication | Closed Access
Pure Extensions, Proof Rules, and Hybrid Axiomatics
83
Citations
34
References
2006
Year
EngineeringAutomated ReasoningPure ExtensionsFormal MethodsProof TheoryFormal SystemProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1