Prolegomena to a theory of mechanized formal reasoning (Q1140436): Difference between revisions

@@ 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/0004-3702(80)90015-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2125692076
@@ Property / OpenAlex ID: W2125692076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490989
@@ Property / cites work: Q3490989 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Q2969690
@@ Property / cites work: Q2969690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997000
@@ Property / cites work: Q3997000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633976
@@ Property / cites work: Q5633976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731904
@@ Property / cites work: Q5731904 / rank @@
+Normal rank