Publication | Open Access
Axiomatizing Prefix Iteration with Silent Steps
54
Citations
18
References
1996
Year
EngineeringAutomated ReasoningPrefix IterationFormal MethodsComputer ScienceFormal SystemHigher-order LogicFormal VerificationComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1