Imagen de Portada

Certified binary search tree on W-types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Arengas, Gustavo
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Data Structures and Algorithms Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Critical Pair Enumeration Algorithm for String Diagram Rewriting
por: Matsui, Anna, et al.
Publicado: (2026)

Amortized Analysis via Coalgebra
por: Grodin, Harrison, et al.
Publicado: (2024)

Computational Complexity of Edge Coverage Problem for Constrained Control Flow Graphs
por: Ruszil, Jakub, et al.
Publicado: (2026)

Efficient Heuristics and Exact Methods for Pairwise Interaction Sampling
por: Fekete, Sándor P., et al.
Publicado: (2025)

Grandchildren-weight-balanced binary search trees
por: Jugé, Vincent
Publicado: (2024)

Proven Distributed Memory Parallelization of Particle Methods
por: Pahlke, Johannes, et al.
Publicado: (2024)

Exact Exploration
por: Blass, Andreas, et al.
Publicado: (2024)

Comparing Algorithms for Loading Classical Datasets into Quantum Memory
por: Miranskyy, Andriy, et al.
Publicado: (2024)

Distributed Computing From First Principles
por: Odoh, Kenneth
Publicado: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
por: Han, Lee Zheng, et al.
Publicado: (2024)

Typing Tensor Calculus in 2-Categories (I)
por: Ahmadi, Fatimah Rita
Publicado: (2019)

Towards a Unified Theory of Time-Varying Data
por: Bumpus, Benjamin Merlin, et al.
Publicado: (2024)

Multiplication of polynomials over the binary field
por: Liu, Chunlei
Publicado: (2025)

An 8- and 12-bit block AES cipher
por: Breuer, Peter T.
Publicado: (2025)

Efficient generation of expected-degree graphs via edge-arrivals
por: D'Angelo, Gianlorenzo, et al.
Publicado: (2026)

On multidimensional generalization of binary search
por: Dereniowski, Dariusz, et al.
Publicado: (2024)

SoS Certifiability of Subgaussian Distributions and its Algorithmic Applications
por: Diakonikolas, Ilias, et al.
Publicado: (2024)

Asymmetric graph alignment and the phase transition for asymmetric tree correlation testing
por: Maier, Jakob, et al.
Publicado: (2025)

static_maps: consteval std::map and std::unordered_map Implementations in C++23
por: Myhal, Isaac D., et al.
Publicado: (2026)

A square root algorithm faster than Newton's method for multiprecision numbers, using floating-point arithmetic
por: Romano, Fabio
Publicado: (2024)

Permutation-Avoiding FFT-Based Convolution
por: Venkovic, Nicolas, et al.
Publicado: (2025)

A New Initial Approximation Bound in the Durand Kerner Algorithm for Finding Polynomial Zeros
por: Sanjoyo, B. A., et al.
Publicado: (2025)

Quantum search in a dictionary based on fingerprinting-hashing
por: Ablayev, Farid, et al.
Publicado: (2024)

Performance bounds for nearest neighbor search with k-d trees
por: Bazzani, Marco, et al.
Publicado: (2026)

Holonomic equations and efficient random generation of binary trees
por: Lescanne, Pierre
Publicado: (2022)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
por: Mathur, Umang, et al.
Publicado: (2022)

Efficient size-prescribed $k$-core search
por: Liu, Yiping, et al.
Publicado: (2024)

Theoretical insights and an experimental comparison of tango trees and multi-splay trees
por: Al-Adhami, Khaleel, et al.
Publicado: (2024)

Binary weights spanning trees and the $k$-red spanning tree problem in linear time
por: Hochbaum, Dorit S.
Publicado: (2024)

Realizing temporal transportation trees
por: Mertzios, George B., et al.
Publicado: (2024)

Nested and outlier embeddings into trees
por: Chawla, Shuchi, et al.
Publicado: (2026)

Fast decremental tree sums in forests
por: Berendsohn, Benjamin Aram, et al.
Publicado: (2026)

A new near-linear time algorithm for k-nearest neighbor search using a compressed cover tree
por: Elkin, Yury, et al.
Publicado: (2021)

Efficient top-down updates in AVL trees
por: Jugé, Vincent
Publicado: (2024)

Optimal bounds on a tree inference algorithm
por: Gardiner, Jack, et al.
Publicado: (2024)

Median and Small Parsimony Problems on RNA trees
por: Marchand, Bertrand, et al.
Publicado: (2024)

Spanning tree congestion of proper interval graphs
por: Otachi, Yota
Publicado: (2026)

Depth first representations of $k^2$-trees
por: Carmona, Gabriel, et al.
Publicado: (2025)

Online Vehicle Routing with Pickups and Deliveries under Time-Dependent Travel-Time Constraints
por: Kontogiannis, Spyros, et al.
Publicado: (2024)

Planning For Edge Failure in Fixed-Charge Flow Networks
por: Olson, Daniel, et al.
Publicado: (2024)