Publication | Closed Access

On sufficient-completeness and related properties of term rewriting systems

EngineeringAutomated ReasoningRegulated RewritingRelated PropertiesRewriting SystemFormal MethodsComputer ScienceFormal VerificationComputability Theory