Automatic Functional Correctness Proofs for Functional Search Trees (Q2829265): Difference between revisions

@@ Property / cites work @@
+Isabelle/HOL
@@ Property / cites work: Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric binary B-trees: Data structure and maintenance algorithms
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement in Isabelle/HOL
@@ Property / cites work: Data Refinement in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Purely Functional 1-2 Brother Trees
@@ Property / cites work: Purely Functional 1-2 Brother Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Equations
@@ Property / cites work: Programming with Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Red-black trees with types
@@ Property / cites work: Red-black trees with types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2850669
@@ Property / cites work: Q2850669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725724
@@ Property / cites work: Q4725724 / rank @@
+Normal rank
@@ Property / cites work @@
+Amortized Complexity Verified
@@ Property / cites work: Amortized Complexity Verified / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Purely Functional Data Structures
@@ Property / cites work: Purely Functional Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096430
@@ Property / cites work: Q4096430 / rank @@
+Normal rank
@@ Property / cites work @@
+-2 Brother Trees or AVL Trees Revisited
@@ Property / cites work: 1-2 Brother Trees or AVL Trees Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Balanced trees with removals: An exercise in rewriting and proof
+Normal rank
@@ Property / cites work @@
+Self-adjusting binary search trees
@@ Property / cites work: Self-adjusting binary search trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864245
@@ Property / cites work: Q4864245 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVL trees
@@ Property / describes a project that uses: AVL trees / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Splay Tree
@@ Property / describes a project that uses: Splay Tree / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Amortized Complexity
@@ Property / describes a project that uses: Amortized Complexity / rank @@
+Normal rank
@@ 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.1007/978-3-319-43144-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2483569599
@@ Property / OpenAlex ID: W2483569599 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2829265