Publication | Closed Access
Propositional dynamic logic of regular programs
1.2K
Citations
15
References
1979
Year
EngineeringAutomated ReasoningPropositional LogicDynamic LogicFormal MethodsComputer ScienceFormal VerificationPropositional Dynamic LogicLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1