On Different Concepts of Resolution
From MaRDI portal
Publication:3789526
Recommendations
Cited in
(13)- scientific article; zbMATH DE number 4128784 (Why is no real title available?)
- scientific article; zbMATH DE number 2094813 (Why is no real title available?)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Semantic trees revisited: some new completeness results
- scientific article; zbMATH DE number 1762830 (Why is no real title available?)
- Formalization of the Resolution Calculus for First-Order Logic
- Using resolution for deciding solvable classes and building finite models
- Formalization of the resolution calculus for first-order logic
- Complexity of resolution proofs and function introduction
- On Residuation
- scientific article; zbMATH DE number 219937 (Why is no real title available?)
- scientific article; zbMATH DE number 4061192 (Why is no real title available?)
- A classification of non-liftable orders for resolution
This page was built for publication: On Different Concepts of Resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789526)