| 3401 |
Alon-Tarsi Number of Some Regular Graphs
S. Prajnanaswaroopa
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3402 |
A Hall-type theorem with algorithmic consequences in planar graphs
Ebrahim Ghorbani, Hossein Jowhari
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3403 |
Decoding twisted permutation codes
Robert F. Bailey, Keenan B. Nicholson
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3404 |
On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers"
Moustapha Diaby, Mark Karwan, Lei Sun
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3405 |
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Diego Figueira, Santiago Figueira, Edwin Pin
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3406 |
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Ziyan Luo, Xujie Si
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3407 |
Approximate Evaluation of Quantitative Second Order Queries
Jan Dreier, Robert Ganian, Thekla Hamm
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3408 |
Random Schreier graphs as expanders
Geoffroy Caillat-Grenier
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3409 |
$L$ is unequal $NL$ under the Strong Exponential Time Hypothesis
Reiner Czerwinski
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3410 |
On Optimization and Counting of Non-Broken Bases of Matroids
Dorna Abdolazimi, Kasper Lindberg, Shayan Oveis Gharan
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3411 |
On MSR Subspace Families of Lines
Ferdinand Ihringer
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3412 |
Layered Modal Type Theories
Jason Z. S. Hu, Brigitte Pientka
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3413 |
On Complexity Bounds and Confluence of Parallel Term Rewriting
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3414 |
String Diagrams for $λ$-calculi and Functional Computation
Dan Ghica, Fabio Zanasi
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3415 |
The union-closed sets conjecture for non-uniform distributions
Masoud Zargar
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3416 |
Best $L_p$ Isotonic Regressions, $p \in \{0, 1, \infty\}$
Quentin F. Stout
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3417 |
The Maximum Matrix Contraction Problem
Dimitri Watel, Pierre-Louis Poirion
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3418 |
$\varepsilon$-Almost collision-flat universal hash functions and mosaics of designs
Moritz Wiese, Holger Boche
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3419 |
Generalized four person hat game
Theo van Uem
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3420 |
Towards an induction principle for nested data types
Peng Fu, Peter Selinger
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3421 |
Planar graphs are acyclically edge $(Δ+ 5)$-colorable
Qiaojun Shu, Guohui Lin
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3422 |
Proving Confluence in the Confluence Framework with CONFident
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3423 |
Structural and Combinatorial Properties of 2-swap Word Permutation Graphs
Duncan Adamson, Nathan Flaherty, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3424 |
A Logical Way to Negotiate Services
Glenn Bruns, Mauricio Cortes
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3425 |
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version
Jesús Domínguez, Aleksandar Nanevski
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3426 |
Model-checking parametric lock-sharing systems against regular constraints
Corto Mascle, Anca Muscholl, Igor Walukiewicz
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3427 |
Concerto Grosso for Sessions: Fair Termination of Sessions
Luca Ciccone
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3428 |
Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication
Matthew Anderson, Vu Le
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3429 |
Computing all monomials of degree $n-1$ using $2n-3$ AND gates
Thomas Häner
|
🔮
The Ethereal
|
cs.CC
|
0 |
3 years ago |
| 3430 |
Exhaustive Generation of Linear Orthogonal Cellular Automata
Enrico Formenti, Luca Mariot
|
🔮
The Ethereal
|
cs.DM
|
0 |
3 years ago |
| 3431 |
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
Tim S. Lyon, Sebastian Rudolph
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3432 |
Variable Independence in Linear Real Arithmetic
Alexander Mayorov
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 3433 |
Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
Édouard Bonnet, Julien Duron, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
3 years ago |
| 3434 |
Compositional Verification in Rewriting Logic
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3435 |
Syntactically and semantically regular languages of lambda-terms coincide through logical relations
Vincent Moreau, Lê Thành Dũng Nguyên
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3436 |
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3437 |
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3438 |
A Characterization of Entropy as a Universal Monoidal Natural Transformation
Cheuk Ting Li
|
🔮
The Ethereal
|
math.CT
|
0 |
2 years ago |
| 3439 |
Proofs about Network Communication: For Humans and Machines
Wolfgang Jeltsch, Javier Díaz
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3440 |
Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review
Alvin Tang
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3441 |
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3442 |
Solving the insecurity problem for assertions
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3443 |
On Feasibility of Declarative Diagnosis
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3444 |
Lower Bounds on the Complexity of Mixed-Integer Programs for Stable Set and Knapsack
Jamico Schade, Makrand Sinha, Stefan Weltge
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3445 |
Multirole Logic and Multiparty Channels
Hongwei Xi, Hanwen Wu
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3446 |
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)
Lara Bargmann, Heike Wehrheim
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3447 |
Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)
Marie-Christine Jakobs, Tim Pollandt
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3448 |
Shortest Path with Positive Disjunctive Constraints -- a Parameterized Perspective
Susobhan Bandopadhyay, Suman Banerjee, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3449 |
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Claudio Antares Mezzina, Georgiana Caltais
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3450 |
The Way We Were: Structural Operational Semantics Research in Perspective
Luca Aceto, Pierluigi Crescenzi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |