Publication | Closed Access
Normalization Results for Typeable Rewrite Systems
30
Citations
21
References
1997
Year
EngineeringAutomated ReasoningRegulated RewritingFormal MethodsComputer ScienceType SystemNormalization ResultsRewriting System
| Year | Citations | |
|---|---|---|
Page 1
Page 1