Publication | Closed Access
Two systems for proving tautologies, based on the split method
19
Citations
1
References
1983
Year
EngineeringAutomated ReasoningPropositional LogicVerificationFormal MethodsAutomated ProofLogical ReasoningComputer ScienceProof SystemFormal VerificationSplit MethodSequent Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1