Pages that link to "Item:Q3789526"
From MaRDI portal
The following pages link to On Different Concepts of Resolution (Q3789526):
Displaying 6 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Complexity of resolution proofs and function introduction (Q1194246) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Semantic trees revisited: Some new completeness results (Q4647548) (← links)
