On the zero-inequivalence problem for loop programs (Q1171383): Difference between revisions

@@ Property / cites work @@
+A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Program Scheme Equivalence
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+The Complexity of the Equivalence Problem for Simple Programs
+Normal rank
@@ Property / cites work @@
+Some simplified undecidable and NP-hard problems for simple programs
+Normal rank
@@ Property / cites work @@
+On the complexity of simple arithmetic expressions
+Normal rank
@@ Property / cites work @@
+Q3904048
@@ Property / cites work: Q3904048 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of an arbitrary diophantine equation to one in 13 unknowns
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem of Simple Programs
@@ Property / cites work: The Equivalence Problem of Simple Programs / rank @@
+Normal rank