scientific article; zbMATH DE number 3513767

MaRDI QIDQ4093432zbMATH OpenFDO

Authors Kurt Hauschild

Publication date 1975

Mathematics Subject Classification ID

Trees (05C05) Decidability of theories and sets of sentences (03B25)

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