Publication:4288808

zbMath0797.03004MaRDI QIDQ4288808

Françoise Point

Publication date: 19 October 1994

zbMATH Keywords

decidability; string algebras

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03B25: Decidability of theories and sets of sentences

03C10: Quantifier elimination, model completeness, and related topics