Pages that link to "Item:Q2232285"
From MaRDI portal
The following pages link to Tree-like unit refutations in Horn constraint systems (Q2232285):
Displaying 4 items.
- VDM specification for the tree-modification method of refutation (Q1817122) (← links)
- Tree-like unit refutations in Horn constraint systems (Q2232285) (← links)
- On a generalization of Horn constraint systems (Q2399383) (← links)
- Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target (Q2760517) (← links)