| 2401 |
Towards a Unified Theory of Time-Varying Data
Benjamin Merlin Bumpus, James Fairbanks, ... (+3 more)
|
🔮
The Ethereal
|
math.CT
|
2 |
2 years ago |
| 2402 |
Sampling List Packings
Evan Camrud, Ewan Davies, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2403 |
Modular Assurance of Complex Systems Using Contract-Based Design Principles
Dag McGeorge, Jon Arne Glomsrud
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2404 |
How to Reduce Temporal Cliques to Find Sparse Spanners
Sebastian Angrick, Ben Bals, ... (+8 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2405 |
Lower Bounds for Leaf Rank of Leaf Powers
Svein Høgemo
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2406 |
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2407 |
A new family of $2$-scattered subspaces and related MRD codes
Daniele Bartoli, Francesco Ghiandoni, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2408 |
A Type Theory with a Tiny Object
Mitchell Riley
|
🔮
The Ethereal
|
math.CT
|
2 |
2 years ago |
| 2409 |
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
Fernando Lucatelli Nunes, Matthijs Vákár
|
🔮
The Ethereal
|
math.CT
|
2 |
2 years ago |
| 2410 |
On a fibrational construction for optics, lenses, and Dialectica categories
Matteo Capucci, Bruno Gavranović, ... (+3 more)
|
🔮
The Ethereal
|
math.CT
|
2 |
2 years ago |
| 2411 |
Four Formal Models of IEEE 1394 Link Layer
Hubert Garavel, Bas Luttik
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2412 |
Hypergraphs of girth 5 and 6 and coding theory
Kathryn Haymaker, Michael Tait, Craig Timmons
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2413 |
Model Checking Probabilistic Operator Precedence Automata
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2414 |
GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2415 |
Linear Contextual Metaprogramming and Session Types
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2416 |
Meaningfulness and Genericity in a Subsuming Framework
Delia Kesner, Victor Arrial, Giulio Guerrieri
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2417 |
Asymptotics of relaxed $k$-ary trees
Manosij Ghosh Dastidar, Michael Wallner
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2418 |
Almost-Sure Termination by Guarded Refinement
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2419 |
Hybrid Intersection Types for PCF (Extended Version)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2420 |
Solving the Graph Burning Problem for Large Graphs
Felipe de Carvalho Pereira, Pedro Jussieu de Rezende, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2421 |
Half-space separation in monophonic convexity
Mohammed Elaroussi, Lhouari Nourine, Simon Vilmin
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2422 |
On classes of bounded tree rank, their interpretations, and efficient sparsification
Jakub Gajarský, Rose McCarty
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2423 |
Extensional and Non-extensional Functions as Processes
Ken Sakayori, Davide Sangiorgi
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2424 |
Concurrent Games over Relational Structures: The Origin of Game Comonads
Yoàv Montacute, Glynn Winskel
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2425 |
Higher weight spectra of ternary codes associated to the quadratic Veronese $3$-fold
Krishna Kaipa, Puspendu Pradhan
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2426 |
A tame vs. feral dichotomy for graph classes excluding an induced minor or induced topological minor
Martin Milanič, Nevena Pivač
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2427 |
Indexing Finite-State Automata Using Forward-Stable Partitions
Ruben Becker, Sung-Hwan Kim, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2428 |
Computable one-way functions on the reals
George Barmpalias, Xiaoyan Zhang
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2429 |
Greedy Gray Codes for some Restricted Classes of Binary Words
Nathanaël Hassler, Vincent Vajnovszki, Dennis Wong
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2430 |
The periodic structure of local consistency
Lorenzo Ciardo, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2431 |
Alon's transmitting problem and multicolor Beck--Spencer Lemma
Norihide Tokushige
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2432 |
Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
Elias Alevizos, Alexander Artikis, Georgios Paliouras
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2433 |
Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
David Monniaux
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2434 |
Algorithms for the Diverse-k-SAT problem: the geometry of satisfying assignments
Per Austrin, Ioana O. Bercea, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 2435 |
The Stable Model Semantics for Higher-Order Logic Programming
Bart Bogaerts, Angelos Charalambidis, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2436 |
Proving Cutoff Bounds for Safety Properties in First-Order Logic
Raz Lotan, Eden Frenkel, Sharon Shoham
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2437 |
Adjacency Labeling Schemes for Small Classes
Édouard Bonnet, Julien Duron, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
1 year ago |
| 2438 |
Non-Boolean OMv: One More Reason to Believe Lower Bounds for Dynamic Problems
Bingbing Hu, Adam Polak
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 2439 |
Interaction Equivalence
Beniamino Accattoli, Adrienne Lancelot, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2440 |
The combinatorial structure and value distributions of plateaued functions
Lukas Kölsch, Alexandr Polujan
|
🔮
The Ethereal
|
math.CO
|
2 |
1 year ago |
| 2441 |
Asymptotically Optimal Inapproximability of Maxmin $k$-Cut Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 2442 |
Axiomatization of Compact Initial Value Problems: Open Properties
André Platzer, Long Qian
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2443 |
Formalization of Differential Privacy in Isabelle/HOL
Tetsuya Sato, Yasuhiko Minamide
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2444 |
Variants of Solovay reducibility
Ivan Titov
|
🔮
The Ethereal
|
math.LO
|
2 |
1 year ago |
| 2445 |
Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
Saketh Ram Kasibatla, Arpan Agarwal, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2446 |
Clustering Coefficient Reflecting Pairwise Relationships within Hyperedges
Rikuya Miyashita, Shiori Hironaka, Kazuyuki Shudo
|
🔮
The Ethereal
|
cs.DM
|
2 |
1 year ago |
| 2447 |
On the (Classical and Quantum) Fine-Grained Complexity of Log-Approximate CVP and Max-Cut
Jeremy Ahrens Huang, Young Kun Ko, Chunhao Wang
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 2448 |
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
Naoki Kobayashi
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 2449 |
Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra
Grigorii Dakhno, Dmitry Gribanov, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 2450 |
Explicit constructions of optimal blocking sets and minimal codes
Anurag Bishnoi, István Tomon
|
🔮
The Ethereal
|
math.CO
|
2 |
1 year ago |