Inference rules and proof procedures for inequations

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

Chilukuri K. Mohan, Deepak Kapur, Mandayam Srivas

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

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

Related Items (1)

Negation with logical variables in conditional rewriting

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