| 3651 |
Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
Marcos Grandury, Aleksandar Nanevski, Alexander Gryzlov
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3652 |
Graphs with no long claws: An improved bound for the analog of the Gyárfás' path argument
Romain Bourneuf, Jana Masaříková, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3653 |
Quantifier Elimination and Craig Interpolation, Quantitatively
Kevin Batz, Joost-Pieter Katoen, Nora Orhan
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3654 |
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3655 |
Formalising Propositional Information via Implication Hypergraphs
Vibhu Dalal
|
🔮
The Ethereal
|
math.LO
|
0 |
1 year ago |
| 3656 |
Dismountability in Temporal Cliques Revisited
Daniele Carnevale, Arnaud Casteigts, Timothée Corsini
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3657 |
Space-bounded online Kolmogorov complexity is additive
Bruno Bauwens, Maria Marchenko
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3658 |
A Quadratic Lower Bound for Stable Roommates Solvability
Will Rosenbaum
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3659 |
Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
George Kaye
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3660 |
Abstract questionnaires and FS-decision digraphs
Jiaye Chen, Suzan Kadri, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3661 |
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Michaël Cadilhac, Vanessa Flügel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3662 |
Autonomous Task Completion Based on Goal-directed Answer Set Programming
Alexis R. Tudor
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3663 |
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Zachary Hansen
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3664 |
Early Validation of High-level Requirements on Cyber-Physical Systems
Ondřej Vašíček
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3665 |
A Program Logic for Under-approximating Worst-case Resource Usage
Ziyue Jin, Di Wang
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3666 |
The Agafonov and Schnorr-Stimm theorems for probabilistic automata
Laurent Bienvenu, Hugo Gimbert, Subin Pulari
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3667 |
Slant/Gokigen Naname is NP-complete, and Some Variations are in P
Jayson Lynch, Jack Spalding-Jamieson
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3668 |
The 2-Adjunction that relates Universal Arrows and Extensive Monads
Adrian Vazquez-Marquez, Jenylin Zuniga-Apipilhuasco
|
🔮
The Ethereal
|
math.CT
|
0 |
1 year ago |
| 3669 |
Proof systems for partial incorrectness logic (partial reverse Hoare logic)
Yukihiro Oda
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3670 |
A Graph Width Perspective on Partially Ordered Hamiltonian Paths
Jesse Beisegel, Katharina Klost, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3671 |
On the minimum Hamming distance between vectorial Boolean and affine functions
Gabor P. Nagy
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3672 |
Linearization via Rewriting (Long Version)
Ugo Dal Lago, Federico Olimpieri
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3673 |
Existence of Deadlock-Free Routing for Arbitrary Networks
Uri Mendlovic, Yossi Matias
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3674 |
Deterministically approximating the volume of a Kostka polytope
Hariharan Narayanan, Piyush Srivastava
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3675 |
A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset-FAST
Satyabrata Jana, Lawqueen Kanesh, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3676 |
An upper bound on the size of a code with $s$ distances
Ivan Landjev, Konstantin Vorobev
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3677 |
Towards Transitive-free Digraphs
Ankit Abhinav, Satyabrata Jana, Abhishek Sahu
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3678 |
Contract Based Program Models for Software Model Checking
Jesper Amilon, Dilian Gurov
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3679 |
Semi-Streaming Algorithms for Graph Property Certification
Avinandan Das, Pierre Fraigniaud, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3680 |
Connected Partitions via Connected Dominating Sets
Aikaterini Niklanovits, Kirill Simonov, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3681 |
Deciding if a DAG is Interesting is Hard
Jean-Lou De Carufel, Anil Maheshwari, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3682 |
$k$-Universality of Regular Languages Revisited
Duncan Adamson, Pamela Fleischmann, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3683 |
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
Jörg Endrullis, Dominik Grzelak, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3684 |
Zippy -- Generic White-Box Proof Search with Zippers
Kevin Kappelmann
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3685 |
An Algebraic Approach to Weighted Answer-set Programming
Francisco Coelho, Bruno Dinis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3686 |
Algorithmic randomness and the weak merging of computable probability measures
Simon M. Huttegger, Sean Walsh, Francesca Zaffora Blando
|
🔮
The Ethereal
|
math.LO
|
0 |
1 year ago |
| 3687 |
Improved Bounds for Coin Flipping, Leader Election, and Random Selection
Eshan Chattopadhyay, Mohit Gurumukhani, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3688 |
Semidefinite lower bounds for covering codes
Dion Gijswijt, Sven Polak
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3689 |
Example-Free Learning of Regular Languages with Prefix Queries
Eve Fernando, Sasha Rubin, Rahul Gopinath
|
🔮
The Ethereal
|
cs.FL
|
0 |
1 year ago |
| 3690 |
Interval Graphs are Reconstructible
Irene Heinrich, Masashi Kiyomi, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3691 |
Mind the Gap? Not for SVP Hardness under ETH!
Divesh Aggarwal, Rishav Gupta, Aditya Morolia
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3692 |
Constant Rate Isometric Embeddings of Hamming Metric into Edit Metric
Sudatta Bhattacharya, Sanjana Dey, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |
| 3693 |
The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs
Tiziana Calamoneri, Federico Corò, Giacomo Paesani
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3694 |
Key-agreement exists if and only if the "interactive vs non interactive Kolmogorov problem" is not in ioBPP: a short proof
Bruno Bauwens, Bruno Loff
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3695 |
Projective systems and bounds on the length of codes of non-zero defect
Tim L. Alderson, Zhipeng Zhang
|
🔮
The Ethereal
|
math.CO
|
0 |
1 year ago |
| 3696 |
Weighted GKAT: Completeness and Complexity
Spencer Van Koevering, Wojciech Różowski, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3697 |
The Planted Orthogonal Vectors Problem
David Kühnemann, Adam Polak, Alon Rosen
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3698 |
On optimal distinguishers for Planted Clique
Ansh Nagda, Prasad Raghavendra
|
🔮
The Ethereal
|
cs.CC
|
0 |
1 year ago |
| 3699 |
GNU Aris: a web application for students
Saksham Attri, Zoltán Kovács, Aaron Windischbauer
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |
| 3700 |
Scheduled Jacobian Chaining
Simon Märtens, Uwe Naumann
|
🔮
The Ethereal
|
cs.DM
|
0 |
1 year ago |