Hoare logic-based genetic programming (Q543275): Difference between revisions

@@ Property / author @@
-Pei He
@@ Property / author: Pei He / rank @@
-Normal rank
@@ Property / author @@
-Lishan Kang
@@ Property / author: Lishan Kang / rank @@
-Normal rank
@@ Property / author @@
+Lishan Kang
@@ Property / author: Lishan Kang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCGP
@@ Property / describes a project that uses: MCGP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2028585812
@@ Property / OpenAlex ID: W2028585812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845469
@@ Property / cites work: Q4845469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382646
@@ Property / cites work: Q4382646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5321499
@@ Property / cites work: Q5321499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4794698
@@ Property / cites work: Q4794698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845470
@@ Property / cites work: Q4845470 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification is experimentation!
@@ Property / cites work: Verification is experimentation! / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+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 @@
+Mathematical theory of partial correctness
@@ Property / cites work: Mathematical theory of partial correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5490371
@@ Property / cites work: Q5490371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833652
@@ Property / cites work: Q4833652 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:543275