Balancing weight-balanced trees (Q3016214): Difference between revisions

@@ Property / cites work @@
+The Optimal Fixed Point Combinator
@@ Property / cites work: The Optimal Fixed Point Combinator / rank @@
+Normal rank
@@ Property / cites work @@
+CSDP, A C library for semidefinite programming
@@ Property / cites work: CSDP, A C library for semidefinite programming / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Purely Functional Data Structures
@@ Property / cites work: Purely Functional Data Structures / rank @@
+Normal rank