scientific article; zbMATH DE number 3986636

zbMATH Open0609.68030MaRDI QIDQ3750118FDOQ3750118

Authors: A. J. J. Dick, R. J. Cunningham 

Publication date: 1986

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

Recommendations

• Narrowing based procedures for equational disunification
• An application of automated equational reasoning to many-valued logic
• Automatic abstraction of equations in a logic of equality
• Publication:3490946
• scientific article; zbMATH DE number 512906
• scientific article; zbMATH DE number 622670
• Equational reasoning in Isabelle
• Types for Proofs and Programs
• scientific article; zbMATH DE number 2086860

Mathematics Subject Classification ID

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

Cited In (1)

• Narrowing based procedures for equational disunification

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)