From axioms to synthetic inference rules via focusing - Concepedia

Concepedia

Publication | Open Access

From axioms to synthetic inference rules via focusing

DOI Full Paper Access

16

Citations

14

References

2022

Year

Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe

Annals of Pure and Applied Logic

EngineeringAutomated ReasoningSynthetic Inference RulesFormal MethodsFormal Mathematical ReasoningComputer ScienceFormal SystemInductive Inference

References

	Year	Citations

Page 1