scientific article; zbMATH DE number 4090770

MaRDI QIDQ3817580zbMATH OpenFDO

Authors Hubert Bertling, Harald Ganzinger, Renate Schäfers

Publication date 1988

zbMATH Keywords

completioncomplingconditional equationsPrologtermination

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4090851
• A completion procedure for conditional equations
• Termination by completion
• scientific article; zbMATH DE number 4155899
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings

Cited in

(6)

• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• scientific article; zbMATH DE number 4090851 (Why is no real title available?)
• Harald Ganzinger's legacy: contributions to logics and programming
• From search to computation: redundancy criteria and simplification at work
• Completion-time optimization of rewrite-time goal solving
• A completion procedure for conditional equations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3817580)