scientific article; zbMATH DE number 1759379

MaRDI QIDQ4536327zbMATH OpenFDO

Authors Alexandre Riazanov, Andrei Voronkov

Publication date 25 November 2002

zbMATH Keywords

automated theorem provingcode treesmatchingsubsumptionterm indexing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Codes Over Trees
• An improvement of the tree code construction
• scientific article; zbMATH DE number 475410
• The coding of binary trees
• A New Coding Algorithm for Trees
• Adaptive Design and Analysis Via Partitioning Trees for Emulation of a Complex Computer Code
• Self-adjusting binary search trees
• Tree approximation for hp-adaptivity
• On Adaptive Tree Polling Algorithms

Cited in

(6)

• Fast term indexing with coded context trees
• An efficient subsumption test pipeline for BS(LRA) clauses
• Efficient instance retrieval with standard and relational path indexing
• scientific article; zbMATH DE number 1765673 (Why is no real title available?)
• Term ordering diagrams
• Partial redundancy in saturation

Describes a project that uses

Uses Software

• VAMPIRE

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 Q4536327)