Concepedia
Publication | Closed Access
Two Logics of Delegation
582
Citations
17
References
2001
Year
EngineeringAutomated ReasoningClassical LogicPhilosophy Of LogicFormal MethodsHigher-order LogicFormal Verification
Page 1