scientific article; zbMATH DE number 1765672

MaRDI QIDQ4539608zbMATH OpenFDO

Authors Uwe Waldmann

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830226

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• scientific article; zbMATH DE number 1303342
• Superposition theorem proving for abelian groups represented as integer modules
• scientific article; zbMATH DE number 1405448
• A complete superposition calculus for primal grammars
• Superposition theorem proving for abelian groups represented as integer modules

Cited in

(8)

• Superposition theorem proving for abelian groups represented as integer modules
• Cancellative Abelian monoids and related structures in refutational theorem proving. II
• Superposition as a decision procedure for timed automata
• Superposition decides the first-order logic fragment over ground theories
• Superposition modulo linear arithmetic SUP(LA)
• Harald Ganzinger's legacy: contributions to logics and programming
• scientific article; zbMATH DE number 1405448 (Why is no real title available?)
• Combinable Extensions of Abelian Groups

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