scientific article; zbMATH DE number 4022664
From MaRDI portal
Publication:3765263
Recommendations
Cited in
(22)- scientific article; zbMATH DE number 3876643 (Why is no real title available?)
- Resolution for quantified monosigned formulae
- scientific article; zbMATH DE number 517062 (Why is no real title available?)
- Semantic trees revisited: some new completeness results
- scientific article; zbMATH DE number 3858460 (Why is no real title available?)
- Press-ready deduction trees in classical logic using point-plus-expressions
- scientific article; zbMATH DE number 4106803 (Why is no real title available?)
- scientific article; zbMATH DE number 4164185 (Why is no real title available?)
- scientific article; zbMATH DE number 4039343 (Why is no real title available?)
- A formally proved, complete algorithm for path resolution with symbolic links
- Resolution theorem proving
- scientific article; zbMATH DE number 3945374 (Why is no real title available?)
- Structural resolution for logic programming
- scientific article; zbMATH DE number 1507189 (Why is no real title available?)
- Resolution on formula-trees
- scientific article; zbMATH DE number 4072433 (Why is no real title available?)
- scientific article; zbMATH DE number 3870638 (Why is no real title available?)
- Complexity of translations from resolution to sequent calculus
- scientific article; zbMATH DE number 3940761 (Why is no real title available?)
- scientific article; zbMATH DE number 2222011 (Why is no real title available?)
- scientific article; zbMATH DE number 517073 (Why is no real title available?)
- scientific article; zbMATH DE number 1534574 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3765263)
