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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(83)90020-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1974546986
@@ Property / OpenAlex ID: W1974546986 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1171383