Publication | Closed Access
A finiteness condition for rewriting systems
110
Citations
9
References
1994
Year
EngineeringFiniteness ConditionAutomated ReasoningRegulated RewritingRewriting SystemFormal MethodsFinite-state SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1