Publication | Closed Access
Trial procedures and optimal limits on proof-taking☆
35
Citations
7
References
2001
Year
EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsProof TheoryComputer ScienceProof SystemFormal VerificationTrial Procedures
| Year | Citations | |
|---|---|---|
Page 1
Page 1