A nucleus of a theorem-prover described inAlgol-68 (Q4401574): Difference between revisions

@@ Property / cites work @@
+The composition of semantics in Algol 68
@@ Property / cites work: The composition of semantics in Algol 68 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+The utility of independent subgoals in theorem proving
+Normal rank
@@ Property / cites work @@
+Q4236324
@@ Property / cites work: Q4236324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639341
@@ Property / cites work: Q5639341 / rank @@
+Normal rank
@@ Property / cites work @@
+ALGOL 68 with Fewer Tears
@@ Property / cites work: ALGOL 68 with Fewer Tears / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672214
@@ Property / cites work: Q5672214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578049
@@ Property / cites work: Q5578049 / rank @@
+Normal rank