Publication | Closed Access
Proof of termination of the rewriting system subst on CCL
34
Citations
4
References
1986
Year
EngineeringRegulated RewritingVerificationRewriting SystemFormal MethodsFormal VerificationRewriting System Subst
| Year | Citations | |
|---|---|---|
Page 1
Page 1