Publication | Closed Access

Norms on terms and their use in proving universal termination of a logic program

Computational LogicEngineeringAutomated ReasoningVerificationFormal MethodsWell-founded SemanticsLogic ProgramComputer ScienceFormal SystemUniversal TerminationFormal VerificationLogic ProgrammingLogical Formalism