Transformational methodology for proving termination of logic programs - Concepedia

Concepedia

Publication | Closed Access

Transformational methodology for proving termination of logic programs

27

Citations

12

References

1998

Year

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar

The Journal of Logic Programming

Applied LogicEngineeringTransformational MethodologyAutomated ReasoningVerificationFormal MethodsAutomated ProofComputer ScienceSoftware AnalysisLogic ProgrammingFormal Verification

References

	Year	Citations

Page 1