Publication | Closed Access

Normalization Results for Typeable Rewrite Systems

EngineeringAutomated ReasoningRegulated RewritingFormal MethodsComputer ScienceType SystemNormalization ResultsRewriting System