Combining equational reasoning

DOI10.1007/978-3-642-04222-5_4MaRDI QIDQ3655192zbMATH OpenOpenAlexFDO

Authors Ashish Tiwari

Publication date 7 January 2010

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04222-5_4

Mathematics Subject Classification ID

Combined logics (03B62) Logic in artificial intelligence (68T27)

Recommendations

• Combining unification algorithms
• Unification in the union of disjoint equational theories: Combining decision procedures
• Deciding the word problem in the union of equational theories.
• scientific article; zbMATH DE number 4049130
• Unification in a combination of equational theories: an efficient algorithm

Cites work

• D-bases for polynomial ideals over commutative Noetherian rings
• Affine relationships among variables of a program
• Algorithms in real algebraic geometry
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Complexity, convexity and combinations of theories
• Computer Aided Verification
• Computer Science Logic
• Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
• Efficient theory combination via Boolean search
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1614687 (Why is no real title available?)
• scientific article; zbMATH DE number 3870585 (Why is no real title available?)
• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• scientific article; zbMATH DE number 1538018 (Why is no real title available?)
• scientific article; zbMATH DE number 2086596 (Why is no real title available?)
• scientific article; zbMATH DE number 1848313 (Why is no real title available?)
• scientific article; zbMATH DE number 1903374 (Why is no real title available?)
• scientific article; zbMATH DE number 2090300 (Why is no real title available?)
• scientific article; zbMATH DE number 2090318 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• Programming Languages and Systems
• Simplification by Cooperating Decision Procedures
• The complexity of the word problems for commutative semigroups and polynomial ideals
• Theorem proving using lazy proof explication.

Cited in

(5)

• Combining word problems through rewriting in categories with products
• scientific article; zbMATH DE number 1670742 (Why is no real title available?)
• Order-Sorted Rewriting and Congruence Closure
• scientific article; zbMATH DE number 1405626 (Why is no real title available?)
• Equational Theorem Proving for Clauses over Strings

Describes a project that uses

Uses Software

• BarcelogicTools
• Yices
• CVC
• QEPCAD
• z3

This page was built for publication: Combining equational reasoning

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