Pages that link to "Item:Q1847304"
From MaRDI portal
The following pages link to A method for the synthesis of deducibility conditions for Horn and some other formulas (Q1847304):
Displayed 4 items.
- Automation methods for logical derivation and their application in the control of dynamic and intelligent systems (Q742012) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- Verification of the logical sequence in nonclassical multivalued logic (Q4565258) (← links)
- Complexity of the problem of being equivalent to Horn formulas. II (Q6160501) (← links)