scientific article; zbMATH DE number 3986636

MaRDI QIDQ3750118zbMATH OpenFDO

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

Publication date 1986

Mathematics Subject Classification ID

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

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

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)