×

On proving uniform termination and restricted termination of rewriting systems. (English) Zbl 0526.68036


MSC:

68Q65 Abstract data types; algebraic specification
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI