Concepedia
Publication | Closed Access
An approach to infinitary temporal proof theory
20
Citations
14
References
2004
Year
EngineeringAutomated ReasoningProof ComplexityFormal MethodsProof TheoryProof System
Page 1