An algebra of resolution

DOI10.1007/10721975_15MaRDI QIDQ2723902zbMATH OpenFDO

Authors Georg Struth

Publication date 8 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721975_15

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4047185
• scientific article; zbMATH DE number 3871320
• scientific article; zbMATH DE number 475244
• scientific article; zbMATH DE number 886137
• Some experiments with a completion theorem prover

Cited in

(8)

• Suprema of open and closed formulas and their application to resolution
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 3871320 (Why is no real title available?)
• scientific article; zbMATH DE number 4047185 (Why is no real title available?)
• scientific article; zbMATH DE number 4085079 (Why is no real title available?)
• scientific article; zbMATH DE number 1522859 (Why is no real title available?)
• Deriving focused lattice calculi.
• scientific article; zbMATH DE number 849903 (Why is no real title available?)

This page was built for publication: An algebra of resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723902)