scientific article; zbMATH DE number 3448565

zbMATH Open0286.02048MaRDI QIDQ4774035FDOQ4774035

Authors: Charles F. III Miller 

Publication date: 1973

Title of this publication is not available (Why is that?)

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) Applications of computability and recursion theory (03D80) Decidability (number-theoretic aspects) (11U05) Word problems, etc. in computability and recursion theory (03D40) Metamathematical considerations in group theory (20A10)

Cited In (1)

• An \(NC^ 2\) algorithm for testing similarity of matrices

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