Checking the correctness of memories (Q890427): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Checking the correctness of memories
@@ Property / cites work: Checking the correctness of memories / rank @@
+Normal rank
@@ Property / cites work @@
+Designing programs that check their work
@@ Property / cites work: Designing programs that check their work / rank @@
+Normal rank
@@ Property / cites work @@
+Self-testing/correcting with applications to numerical problems
+Normal rank
@@ Property / cites work @@
+Q3212297
@@ Property / cites work: Q3212297 / rank @@
+Normal rank
@@ Property / cites work @@
+Space-bounded probabilistic game automata
@@ Property / cites work: Space-bounded probabilistic game automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state verifiers I
@@ Property / cites work: Finite state verifiers I / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of multi-prover interactive protocols
+Normal rank
@@ Property / cites work @@
+Q3729902
@@ Property / cites work: Q3729902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355236
@@ Property / cites work: Q3355236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210157
@@ Property / cites work: Q3210157 / rank @@
+Normal rank
@@ Property / cites work @@
+Small-Bias Probability Spaces: Efficient Constructions and Applications
+Normal rank
@@ Property / cites work @@
+Relations Among Complexity Measures
@@ Property / cites work: Relations Among Complexity Measures / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01185212
+Normal rank
@@ Property / OpenAlex ID @@
+W1994135885
@@ Property / OpenAlex ID: W1994135885 / rank @@
+Normal rank