A decision algorithm for linear sentences on a PFM (Q685065): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable sentences of Church-Rosser congruences
@@ Property / cites work: Decidable sentences of Church-Rosser congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4771385
@@ Property / cites work: Q4771385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882586
@@ Property / cites work: Q3882586 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Parallel Computation of Hermite and Smith Forms of Polynomial Matrices
+Normal rank
@@ Property / cites work @@
+Solving systems of linear equations over polynomials
+Normal rank
@@ Property / cites work @@
+Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
+Normal rank
@@ Property / cites work @@
+A decision algorithm for linear sentences on a PFM
+Normal rank
@@ Property / cites work @@
+Q3216155
@@ Property / cites work: Q3216155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753938
@@ Property / cites work: Q3753938 / rank @@
+Normal rank
@@ Property / cites work @@
+Komplexität von Entscheidungsproblemen. Ein Seminar
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0168-0072(93)90097-w
+Normal rank
@@ Property / OpenAlex ID @@
+W2069336915
@@ Property / OpenAlex ID: W2069336915 / rank @@
+Normal rank