scientific article

zbMATH Open0609.68030MaRDI QIDQ3750118

R. J. Cunningham, A. J. J. Dick

Publication date: 1986

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (1)

Narrowing based procedures for equational disunification

Recommendations

• Narrowing based procedures for equational disunification 👍 👎
• Equational reasoning in Isabelle 👍 👎
• Automated Reasoning with Analytic Tableaux and Related Methods 👍 👎
• An application of automated equational reasoning to many-valued logic 👍 👎
• Types for Proofs and Programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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