Inference rules and proof procedures for inequations

DOI10.1016/0743-1066(90)90034-3zbMATH Open0705.68088OpenAlexW2004721399MaRDI QIDQ3485883FDOQ3485883

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

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

zbMATH Keywords

equational programming languageslogic programming with equalitynarrowing techniqueproving inequations

Mathematics Subject Classification ID

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

Cited In (4)

• Negation with logical variables in conditional rewriting
• Title not available (Why is that?)
• Justifying equality
• Title not available (Why is that?)

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)