Inference rules and proof procedures for inequations

DOI10.1016/0743-1066(90)90034-3MaRDI QIDQ3485883zbMATH OpenOpenAlexFDO

Authors Chilukuri K. Mohan, Mandayam Srivas, Deepak Kapur

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90034-3

zbMATH Keywords

equational programming languageslogic programming with equalitynarrowing techniqueproving inequations

Mathematics Subject Classification ID

Logic programming (68N17) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4035205
• scientific article; zbMATH DE number 1114343
• A theory of complete logic programs with equality
• On solving equations and disequations
• SLDNF-resolution with equality

Cited in

(4)

• scientific article; zbMATH DE number 4049136 (Why is no real title available?)
• scientific article; zbMATH DE number 4035205 (Why is no real title available?)
• Justifying equality
• Negation with logical variables in conditional rewriting

This page was built for publication: Inference rules and proof procedures for inequations

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