scientific article; zbMATH DE number 1538019

MaRDI QIDQ4518874zbMATH OpenFDO

Authors Franz Baader, Cesare Tinelli

Publication date 3 December 2000

zbMATH Keywords

combination methodequational theoriesword problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• scientific article; zbMATH DE number 1405626
• scientific article; zbMATH DE number 2090084
• Deciding the word problem in the union of equational theories.
• Automated Reasoning
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Cited in

(5)

• Deciding the word problem in the union of equational theories.
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Deciding Equality in the Constructor Theory
• scientific article; zbMATH DE number 1405626 (Why is no real title available?)
• Automated Reasoning

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