| 3451 |
Using Pi-Calculus Names as Locks
Daniel Hirschkoff, Enguerrand Prebet
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3452 |
On Ideal Secret-Sharing Schemes for $k$-homogeneous access structures
Younjin Kim, Jihye Kwon, Hyang-Sook Lee
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3453 |
On Supmodular Matrices
Shmuel Onn
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3454 |
A note on the Assmus--Mattson theorem for some ternary codes (a resume)
Eiichi Bannai, Tsuyoshi Miezaki, Hiroyuki Nakasora
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3455 |
The Upper Clique Transversal Problem
Martin Milanič, Yushi Uno
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3456 |
Enumeration Complexity: Incremental Time, Delay and Space
Yann Strozecki
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3457 |
Bounded Simultaneous Messages
Andrej Bogdanov, Krishnamoorthy Dinesh, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3458 |
Invariant Relations: A Bridge from Programs to Equations
Wided Ghardallou, Hessamaldin Mohammadi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3459 |
Polyhedral approach to weighted connected matchings in general graphs
Phillippe Samer, Phablo F. S. Moura
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3460 |
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Tijana Minic, Marco T. Morazán
|
🔮
The Ethereal
|
cs.FL
|
0 |
2 years ago |
| 3461 |
Connected Components and Disjunctive Existential Rules
Enrique Matos Alfonso, Giorgos Stamou
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3462 |
Infinite series of $3$-designs in the extended quadratic residue code
Madoka Awada
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3463 |
On Chaitin's Heuristic Principle and Halting Probability
Saeed Salehi
|
🔮
The Ethereal
|
math.LO
|
0 |
2 years ago |
| 3464 |
Linear MIM-width of the Square of Trees
Svein Høgemo
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3465 |
A criterion for determining whether multiple shells support a $t$-design
Madoka Awada, Reina Ishikawa, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3466 |
Constructing disjoint Steiner trees in Sierpiński graphs
Chenxu Yang, Ping Li, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3467 |
Semiring Provenance for Lightweight Description Logics
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3468 |
piHyFlow Operational Semantics
Fernando J. Barros
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3469 |
The differential properties of certain permutation polynomials over finite fields
Kirpa Garg, Sartaj Ul Hasan, Pantelimon Stanica
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3470 |
Finding a Maximum Restricted $t$-Matching via Boolean Edge-CSP
Yuni Iwamasa, Yusuke Kobayashi, Kenjiro Takazawa
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3471 |
A feasible and unitary quantum programming language
Alejandro Díaz-Caro, Emmanuel Hainry, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3472 |
A new proof of Euclid's algorithm
Andrzej Salwicki
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3473 |
Lengths of divisible codes -- the missing cases
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3474 |
Combinatorics of nondeterministic walks
Élie de Panafieu, Michael Wallner
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3475 |
Using Symmetries to Lift Satisfiability Checking
Pierre Carbonnelle, Gottfried Schenner, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3476 |
Computing pivot-minors
Konrad K. Dabrowski, François Dross, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3477 |
On the Complexity of the Virtual Network Embedding in Specific Tree Topologies
Sergey Pankratov, Vitaly Aksenov, Stefan Schmid
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3478 |
3vLTL: A Tool to Generate Automata for Three-valued LTL
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
|
🔮
The Ethereal
|
cs.FL
|
0 |
2 years ago |
| 3479 |
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Alberto Ciaffaglione, Carlos Olarte
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3480 |
Promise Algebra: An Algebraic Model of Non-Deterministic Computations
Eugenia Ternovska
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3481 |
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
Nisansala P. Yatapanage, Cliff B. Jones
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3482 |
Relative Fractional Packing Number and Its Properties
Mehrshad Taziki
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3483 |
On the Verification of the Correctness of a Subgraph Construction Algorithm
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3484 |
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3485 |
Disjoint Dominating and 2-Dominating Sets in Graphs: Hardness and Approximation results
Soumyashree Rana, Sounaka Mishra, Bhawani Sankar Panda
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3486 |
Edge coloring of products of signed graphs
Robert Janczewski, Krzysztof Turowski, Bartłomiej Wróblewski
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3487 |
A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)
Lorenzo Pace
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3488 |
Enumerating Complexity Revisited
Alexander Shekhovtsov, Georgii Zakharov
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3489 |
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
Zhibo Chen, Frank Pfenning
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3490 |
Proceedings of the Sixth International Conference on Applied Category Theory 2023
Sam Staton, Christina Vasilakopoulou
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3491 |
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
Antoine Martina, Alexander Steen
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3492 |
On Searching for Minimal Integer Representation of Undirected Graphs
Victor Parque, Tomoyuki Miyashita
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3493 |
Approximation Algorithms for Preference Aggregation Using CP-Nets
Abu Mohammmad Hammad Ali, Boting Yang, Sandra Zilles
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3494 |
Improving Uniquely Decodable Codes in Binary Adder Channels
József Balogh, The Nguyen, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3495 |
On the complexity of sabotage games for network security
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3496 |
Denotational semantics for languages for inference: semirings, monads, and tensors
Cristina Matache, Sean Moss, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3497 |
On SAT information content, its polynomial-time solvability and fixed code algorithms
Maciej Drozdowski
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3498 |
On the on-line coloring of unit interval graphs with proper interval representation
Israel R. Curbelo, Hannah R. Malko
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3499 |
Graded modal logic and counting message passing automata
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3500 |
Verification under TSO with an infinite Data Domain
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
2 years ago |