ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS (Q3069735): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the membership of invertible diagonal and scalar matrices
+Normal rank
@@ Property / cites work @@
+On undecidability bounds for matrix decision problems
+Normal rank
@@ Property / cites work @@
+Reachability problems in quaternion matrix and rotation semigroups
+Normal rank
@@ Property / cites work @@
+Decidable and Undecidable Problems about Quantum Automata
+Normal rank
@@ Property / cites work @@
+The boundedness of all products of a pair of matrices is undecidable
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Some decision problems on integer matrices
@@ Property / cites work: Some decision problems on integer matrices / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+On deciding whether a monoid is a free monoid or is a group
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+A class of free rotation groups
@@ Property / cites work: A class of free rotation groups / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3069735