| 1651 |
Milner's Lambda-Calculus with Partial Substitutions
Delia Kesner, Shane Ó Conchúir
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1652 |
Genericity Through Stratification
Victor Arrial, Giulio Guerrieri, Delia Kesner
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1653 |
Bialgebraic Reasoning on Higher-Order Program Equivalence
Sergey Goncharov, Stefan Milius, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1654 |
Induced Minor Models. I. Structural Properties and Algorithmic Consequences
Nicolas Bousquet, Clément Dallard, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
2 years ago |
| 1655 |
Optimal PSPACE-hardness of Approximating Set Cover Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
|
🔮
The Ethereal
|
cs.CC
|
5 |
2 years ago |
| 1656 |
Self-adhesivity in lattices of abstract conditional independence models
Tobias Boege, Janneke H. Bolt, Milan Studený
|
🔮
The Ethereal
|
math.CO
|
5 |
2 years ago |
| 1657 |
Automated Software Verification of Hyperliveness
Raven Beutner
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1658 |
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Tim S. Lyon, Jonas Karge
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1659 |
Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
Fernando Lucatelli Nunes, Matthijs Vákár
|
🔮
The Ethereal
|
math.CT
|
5 |
2 years ago |
| 1660 |
Sparse Induced Subgraphs of Large Treewidth
Édouard Bonnet
|
🔮
The Ethereal
|
math.CO
|
5 |
2 years ago |
| 1661 |
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
Louis Lemonnier
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1662 |
Algorithmic Results for Weak Roman Domination Problem in Graphs
Kaustav Paul, Ankit Sharma, Arti Pandey
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |
| 1663 |
PolyQEnt: A Polynomial Quantified Entailment Solver
Krishnendu Chatterjee, Amir Kafshdar Goharshady, ... (+5 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
1 year ago |
| 1664 |
How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions
Tal Herman, Guy Rothblum
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1665 |
Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection
Euiwoong Lee, Ola Svensson, Theophile Thiery
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1666 |
Algorithms and complexity for monitoring edge-geodetic sets in graphs
Florent Foucaud, Clara Marcille, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1667 |
Inapproximability of Finding Sparse Vectors in Codes, Subspaces, and Lattices
Vijay Bhattiprolu, Venkatesan Guruswami, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1668 |
Attempting the impossible: enumerating extremal submodular functions for n=6
Elod P. Csirmaz, Laszlo Csirmaz
|
🔮
The Ethereal
|
math.CO
|
5 |
1 year ago |
| 1669 |
Lower Bounds for Convexity Testing
Xi Chen, Anindya De, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1670 |
Reconstruction of multiple strings of constant weight from prefix-suffix compositions
Yaoyu Yang, Zitan Chen
|
🔮
The Ethereal
|
cs.DM
|
5 |
1 year ago |
| 1671 |
Improved PIR Schemes using Matching Vectors and Derivatives
Fatemeh Ghasemi, Swastik Kopparty, Madhu Sudan
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1672 |
Explicit Two-Sided Vertex Expanders Beyond the Spectral Barrier
Jun-Ting Hsieh, Ting-Chun Lin, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
1 year ago |
| 1673 |
Near-Optimal Time-Sparsity Trade-Offs for Solving Noisy Linear Equations
Kiril Bangachev, Guy Bresler, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1674 |
Comparing semantic frameworks for dependently-sorted algebraic theories
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
|
🔮
The Ethereal
|
math.CT
|
5 |
1 year ago |
| 1675 |
Simple, Strict, Proper, and Directed: Comparing Reachability in Directed and Undirected Temporal Graphs
Michelle Döring
|
🔮
The Ethereal
|
cs.DM
|
5 |
1 year ago |
| 1676 |
Weighted Pseudorandom Generators for Read-Once Branching Programs via Weighted Pseudorandom Reductions
Kuan Cheng, Ruiyang Wu
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1677 |
The Quasi-Polynomial Low-Degree Conjecture is False
Rares-Darius Buhai, Jun-Ting Hsieh, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1678 |
Excluding an induced wheel minor in graphs without large induced stars
Mujin Choi, Claire Hilaire, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
1 year ago |
| 1679 |
The Complexity of Counting Small Sub-Hypergraphs
Marco Bressan, Julian Brinkmann, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1680 |
Generalized and Unified Equivalences between Hardness and Pseudoentropy
Lunjia Hu, Salil Vadhan
|
🔮
The Ethereal
|
cs.CC
|
5 |
1 year ago |
| 1681 |
Decoupling via Affine Spectral-Independence: Beck-Fiala and Komlós Bounds Beyond Banaszczyk
Nikhil Bansal, Haotian Jiang
|
🔮
The Ethereal
|
math.CO
|
5 |
11 months ago |
| 1682 |
A Dichotomy Theorem for Multi-Pass Streaming CSPs
Yumou Fei, Dor Minzer, Shuo Wang
|
🔮
The Ethereal
|
cs.CC
|
5 |
10 months ago |
| 1683 |
Relational semantics of linear logic and higher-order model-checking
Charles Grellois, Paul-André Melliès
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 1684 |
A Note on the Uniform Kan Condition in Nominal Cubical Sets
Robert Harper, Kuen-Bang Hou
|
🔮
The Ethereal
|
math.LO
|
4 |
11 years ago |
| 1685 |
A Type System for proving Depth Boundedness in the pi-calculus
Emanuele D'Osualdo, Luke Ong
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 1686 |
Skipping Refinement
Mitesh Jain, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 1687 |
The exp-log normal form of types
Danko Ilik
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 1688 |
Uniform Proofs of Normalisation and Approximation for Intersection Types
Kentaro Kikuchi
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 1689 |
Polynomial-time Algorithm for Isomorphism of Graphs with Clique-width at most Three
Bireswar Das, Murali Krishna Enduri, I. Vinod Reddy
|
🔮
The Ethereal
|
cs.CC
|
4 |
11 years ago |
| 1690 |
On approximating tree spanners that are breadth first search trees
Ioannis Papoutsakis
|
🔮
The Ethereal
|
cs.CC
|
4 |
11 years ago |
| 1691 |
The computational complexity of calculating partition functions of optimal medians with Hamming distance
István Miklós, Heather Smith
|
🔮
The Ethereal
|
cs.CC
|
4 |
11 years ago |
| 1692 |
On Compensation Primitives as Adaptable Processes
Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1693 |
SOS rule formats for convex and abstract probabilistic bisimulations
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1694 |
De Bruijn entropy and string similarity
Steve Huntsman, Arman Rezaee
|
🔮
The Ethereal
|
cs.DM
|
4 |
10 years ago |
| 1695 |
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1696 |
Semiring-based Specification Approaches for Quantitative Security
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |
| 1697 |
Distance-2 MDS codes and latin colorings in the Doob graphs
Denis Krotov, Evgeny Bespalov
|
🔮
The Ethereal
|
math.CO
|
4 |
10 years ago |
| 1698 |
Note on Perfect Forests in Digraphs
Gregory Gutin, Anders Yeo
|
🔮
The Ethereal
|
cs.DM
|
4 |
10 years ago |
| 1699 |
Rényi Information Complexity and an Information Theoretic Characterization of the Partition Bound
Manoj M. Prabhakaran, Vinod M. Prabhakaran
|
🔮
The Ethereal
|
cs.CC
|
4 |
10 years ago |
| 1700 |
The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
|
🔮
The Ethereal
|
cs.LO
|
4 |
10 years ago |