Publication | Closed Access

Modular proofs for completeness of hierarchical term rewriting systems

EngineeringAutomated ReasoningRegulated RewritingVerificationRewriting SystemFormal MethodsAutomated ProofComputer ScienceModular ProofsFormal Verification