A fast consequence recognition algorithm for monadic logical programs

DOI10.1023/A:1012406331222MaRDI QIDQ1778352zbMATH OpenOpenAlexFDO

Authors M. I. Kratko, G. S. Plechevich

Publication date 17 June 2005

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1012406331222

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Monadic logic programs and functional complexity
• A linear control algorithm for a class of rule-based systems
• scientific article; zbMATH DE number 2090529
• scientific article; zbMATH DE number 63734
• On optimization of monadic logic programs

This page was built for publication: A fast consequence recognition algorithm for monadic logical programs

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