Experiments with proof plans for induction (Q809617): Difference between revisions

@@ Property / describes a project that uses @@
+CLAM
@@ Property / describes a project that uses: CLAM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490990
@@ Property / cites work: Q3490990 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3490995
@@ Property / cites work: Q3490995 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783512
@@ Property / cites work: Q3783512 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00249016
+Normal rank
@@ Property / OpenAlex ID @@
+W2034500240
@@ Property / OpenAlex ID: W2034500240 / rank @@
+Normal rank