Pages that link to "Item:Q543196"
From MaRDI portal
The following pages link to An algorithm to compute maximal contractions for Horn clauses (Q543196):
Displaying 5 items.
- Maximal contractions in Boolean algebras (Q362282) (← links)
- A general framework for computing maximal contractions (Q2418637) (← links)
- A decomposition based algorithm for maximal contractions (Q2418656) (← links)
- Decidable subsets of open logic and an algorithm for R-calculus (Q2515454) (← links)
- Logical verification of scientific discovery (Q5046390) (← links)
