scientific article; zbMATH DE number 4090847

zbMATH Open0666.68093MaRDI QIDQ3817652FDOQ3817652

Authors: Nachum Dershowitz, G. Sivakumar 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Equation solving in conditional AC-theories
• An universal termination condition for solving goals in equational languages
• Publication:3490956
• A rationale for conditional equational programming
• Combining Logic Programming and Equation Solving

zbMATH Keywords

conditional rewrite rulesconditional term rewriting systemsequation solving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)

Cited In (12)

• Equation solving in conditional AC-theories
• Extracting Higher-Order Goals from the Mizar Mathematical Library
• Termination of narrowing via termination of rewriting
• A goal-type driven method of solving Horn logic with equality
• Title not available (Why is that?)
• An universal termination condition for solving goals in equational languages
• Title not available (Why is that?)
• Specification and proof in membership equational logic
• Completion-time optimization of rewrite-time goal solving
• Title not available (Why is that?)
• Goal-directed completion using SOUR graphs
• Narrowing directed by a graph of terms

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 Q3817652)