scientific article; zbMATH DE number 848025

MaRDI QIDQ4867077zbMATH OpenFDO

Authors Daniel E. Cohen

Publication date 22 May 2001

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited in

(1)

• Taming the hydra: the word problem and extreme integer compression

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