Linear semi-look resolution

MaRDI QIDQ1179337zbMATH OpenFDO

Authors Xuhua Liu, Yupu Yang

Publication date 26 June 1992

Published in Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

resolutionautomated theorem proving

Mathematics Subject Classification ID

Recommendations

• Generalized resolution and NC-resolution
• On linear resolution
• On paramodulation in linear strategies of the resolution method
• On resolution strategies with weak factorization

Cited in

(3)

• scientific article; zbMATH DE number 4037814 (Why is no real title available?)
• On linear resolution
• On compatibilities of -lock resolution method in linguistic truth-valued lattice-valued logic

This page was built for publication: Linear semi-look resolution

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