Publication | Closed Access
Reasoning with Continuations
75
Citations
0
References
1986
Year
ReasoningEngineeringAutomated ReasoningReasoning About ActionFormal MethodsFormal Mathematical ReasoningProof TheoryComputer Science
No additional data available for this publication yet. Check back later!