Average case optimality for linear problems (Q796299): Difference between revisions

@@ Property / author @@
-Grzegorz W. Wasilkowski
@@ Property / author: Grzegorz W. Wasilkowski / rank @@
-Normal rank
@@ Property / author @@
-Henryk Woźniakowski
@@ Property / author: Henryk Woźniakowski / rank @@
-Normal rank
@@ Property / author @@
+Grzegorz W. Wasilkowski
@@ Property / author: Grzegorz W. Wasilkowski / rank @@
+Normal rank
@@ Property / author @@
+Henryk Woźniakowski
@@ Property / author: Henryk Woźniakowski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(84)90065-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2150726636
@@ Property / OpenAlex ID: W2150726636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862382
@@ Property / cites work: Q3862382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Floyd's principle, correctness theories and program equivalence
+Normal rank
@@ Property / cites work @@
+Q3929010
@@ Property / cites work: Q3929010 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and the completeness of Hoare's logic
+Normal rank
@@ Property / cites work @@
+Q4741695
@@ Property / cites work: Q4741695 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare's logic and Peano's arithmetic
@@ Property / cites work: Hoare's logic and Peano's arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Two theorems about the completeness of Hoare's logic
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+How to Program an Infinite Abacus
@@ Property / cites work: How to Program an Infinite Abacus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of the compiling process based on axiomatic semantics
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Incompleteness Result for Hoare's System
@@ Property / cites work: A New Incompleteness Result for Hoare's System / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:796299