scientific article; zbMATH DE number 554989

MaRDI QIDQ4288808zbMATH OpenFDO

Authors Françoise Point

Publication date 19 October 1994

zbMATH Keywords

decidabilitystring algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60)

Recommendations

• scientific article; zbMATH DE number 3989332
• scientific article; zbMATH DE number 510790
• Decidability of theories of modules over tubular algebras
• Decidability for Theories of Modules

Cited in

(5)

• Decidability of string graphs
• scientific article; zbMATH DE number 3886088 (Why is no real title available?)
• scientific article; zbMATH DE number 1114026 (Why is no real title available?)
• Classification of modules for infinite-dimensional string algebras
• Solving String Theories Involving Regular Membership Predicates Using SAT

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