Assertions and recursions (Q4645810): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1504224784
@@ Property / OpenAlex ID: W1504224784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002107
@@ Property / cites work: Q4002107 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal program construction by transformations-computer-aided, intuition-guided programming
+Normal rank
@@ Property / cites work @@
+The Munich project CIP. Volume I: The wide spectrum language CIP-L
+Normal rank
@@ Property / cites work @@
+Q4885873
@@ Property / cites work: Q4885873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductivity
@@ Property / cites work: Reductivity / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential calculus
@@ Property / cites work: Sequential calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Shorter paths to graph algorithms
@@ Property / cites work: Shorter paths to graph algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4645810