A proof-theoretic investigation of a logic of positions - Concepedia

Concepedia

Publication | Closed Access

A proof-theoretic investigation of a logic of positions

17

Citations

11

References

2003

Year

Stefano Baratella, Andrea Masini

Annals of Pure and Applied Logic

EngineeringProof-theoretic InvestigationAutomated ReasoningFormal MethodsProof TheoryProof SystemFormal VerificationLogical Formalism

References

	Year	Citations

Page 1