Publication | Closed Access
An Institution-Independent Proof of the Robinson Consistency Theorem
25
Citations
29
References
2007
Year
EngineeringAutomated ReasoningFormal MethodsProof TheoryConsistency TechnologyRobinson Consistency Theorem
| Year | Citations | |
|---|---|---|
Page 1
Page 1