Deciding the word problem for ground identities with commutative and extensional symbols

DOI10.1007/978-3-030-51074-9_10MaRDI QIDQ2096444zbMATH OpenOpenAlexFDO

Authors Franz Baader, Deepak Kapur

Publication date 9 November 2022

Full work available at URL https://doi.org/10.1007/978-3-030-51074-9_10

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
• THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE
• A decision problem for varieties of commutative semigroups
• On ground AC-completion
• scientific article; zbMATH DE number 3930347

Cites work

• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 1538018 (Why is no real title available?)
• A fast algorithm for generating reduced ground rewriting systems from a set of ground equations
• An algorithm for finding canonical sets of ground rewrite rules in polynomial time
• An algorithm for reasoning about equality
• An introduction to description logic
• Any ground associative-commutative theory has a finite canonical system
• Conditional congruence closure over uninterpreted and interpreted symbols
• Fast Decision Procedures Based on Congruence Closure
• Fast congruence closure and extensions
• Modal tableau systems with blocking and congruence closure
• Shostak's congruence closure as completion
• Term Rewriting and All That
• The theorem prover of the program verifier Tatzelwurm
• Variations on the Common Subexpression Problem

Cited in

(2)

• Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
• Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols

This page was built for publication: Deciding the word problem for ground identities with commutative and extensional symbols

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