scientific article; zbMATH DE number 58313

MaRDI QIDQ4005201zbMATH OpenFDO

Authors Arto Salomaa

Publication date 27 September 1992

zbMATH Keywords

undecidabilityPost correspondence problemnormal systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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