Publication | Open Access
From axioms to synthetic inference rules via focusing
16
Citations
14
References
2022
Year
EngineeringAutomated ReasoningSynthetic Inference RulesFormal MethodsFormal Mathematical ReasoningComputer ScienceFormal SystemInductive Inference
| Year | Citations | |
|---|---|---|
Page 1
Page 1