| 3251 |
Domination in Signed Petri Net
Payal, Sangita Kansal
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3252 |
The geometry of syntax and semantics for directed file transformations
Steve Huntsman, Michael Robinson
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3253 |
Rewriting Structured Cospans
Daniel Cicala
|
🔮
The Ethereal
|
math.CT
|
0 |
6 years ago |
| 3254 |
Modular Path Queries with Arithmetic
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3255 |
Fuzzy Simultaneous Congruences
Max A. Deppert, Klaus Jansen, Kim-Manuel Klein
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3256 |
BB_Evac: Fast Location-Sensitive Behavior-Based Building Evacuation
Subhra Mazumdar, Arindam Pal, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3257 |
Constructive Game Logic
Rose Bohrer, André Platzer
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3258 |
A Type Checker for a Logical Framework with Union and Intersection Types
Luigi Liquori, Claude Stolze
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3259 |
Two Player Hidden Pointer Chasing and Multi-Pass Lower Bounds in Turnstile Streams
Anay Mehrotra, Vibhor Porwal, Raghunath Tewari
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3260 |
Finite Open-World Query Answering with Number Restrictions
Antoine Amarilli, Michael Benedikt
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3261 |
Dependently Typed Knowledge Graphs
Zhangsheng Lai, Aik Beng Ng, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
6 years ago |
| 3262 |
On Degree Sequence Optimization
Shmuel Onn
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3263 |
$λ_\infty$ & Maximum Variance Embedding: Measuring and Optimizing Connectivity of A Graph Metric
Majid Farhadi, Anand Louis, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3264 |
Notes on Equitable Partitions into Matching Forests in Mixed Graphs and into $b$-branchings in Digraphs
Kenjiro Takazawa
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3265 |
Butson-Hadamard matrices and Plotkin-optimal p^k-ary codes
Damla Acar, Bülent Saraç, Oğuz Yayla
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3266 |
The Tandem Duplication Distance Problem is hard over bounded alphabets
Ferdinando Cicalese, Nicolò Pilati
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3267 |
Complexity of majorants
Alexander Shen
|
🔮
The Ethereal
|
math.LO
|
0 |
6 years ago |
| 3268 |
On the Number of Factorizations of Polynomials over Finite Fields
Rachel N. Berman, Ron M. Roth
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3269 |
The Mathematical Syntax of Architectures
Christoph F. Strnadl
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3270 |
On recursively defined combinatorial classes and labelled trees
Ali Chouria, Vlad-Florin Drǎgoi, Jean-Gabriel Luque
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3271 |
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3272 |
On the existence of $s$-extremal singly even self-dual codes
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3273 |
Mapping Matchings to Minimum Vertex Covers: Kőnig's Theorem Revisited
Jacob Turner
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3274 |
The $(2,k)$-connectivity augmentation problem: Algorithmic aspects
Florian Hörsch, Zoltán Szigeti
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3275 |
On the Parameterised Complexity of Induced Multipartite Graph Parameters
Ryan L. Mann, Luke Mathieson, Catherine Greenhill
|
🔮
The Ethereal
|
cs.CC
|
0 |
6 years ago |
| 3276 |
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Ansgar Fehnker, Hubert Garavel
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3277 |
Partial direct product difference sets and sequences with ideal autocorrelation
Büşra Özden, Oğuz Yayla
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3278 |
On motifs in colored graphs
Diego P Rubert, Eloi Araujo, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
6 years ago |
| 3279 |
A Note on Generic Tangle Algorithms
Christian Elbracht, Jay Lilian Kneip, Maximilian Teegen
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3280 |
Learning to Count up to Symmetry
Pierre Clairambault
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3281 |
Pure Pattern Calculus à la de Bruijn
Alexis Martín, Alejandro Ríos, Andrés Viso
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3282 |
Parametrized Fixed Points on O-Categories and Applications to Session Types
Ryan Kavanagh
|
🔮
The Ethereal
|
math.CT
|
0 |
6 years ago |
| 3283 |
Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3284 |
Moore's Paradox and the logic of belief
Andrés Páez
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3285 |
New Classes of Quantum Codes Associated with Surface Maps
Debashis Bhowmik, Dipendu Maity, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3286 |
Logic, Language, and Calculus
Florian Richter
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3287 |
Inferences and Modal Vocabulary
Florian Richter
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3288 |
Permutree sorting
Vincent Pilaud, Viviane Pons, Daniel Tamayo Jiménez
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3289 |
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report
Tobias Reinhard, Amin Timany, Bart Jacobs
|
🔮
The Ethereal
|
cs.LO
|
0 |
6 years ago |
| 3290 |
On Algorithms for Solving the Rubik's Cube
Ahmad Kaleem, Ahsan Kaleem
|
🔮
The Ethereal
|
math.CO
|
0 |
6 years ago |
| 3291 |
On extremal leaf status and internal status of trees
Haiyan Guo, Bo Zhou
|
🔮
The Ethereal
|
cs.DM
|
0 |
5 years ago |
| 3292 |
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3293 |
A Historical Account of My Early Research Interests
Alberto Pettorossi
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3294 |
Transformational Verification of Quicksort
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3295 |
Upper approximating probabilities of convergence in probabilistic coherence spaces
Thomas Ehrhard
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3296 |
An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems
Muddassar A. Sindhu
|
🔮
The Ethereal
|
cs.FL
|
0 |
5 years ago |
| 3297 |
Partial Orders, Residuation, and First-Order Linear Logic
Richard Moot
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3298 |
Can determinism and compositionality coexist in RML? (extended version)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |
| 3299 |
On Fine-Grained Exact Computation in Regular Graphs
Saeed Akhoondian Amiri
|
🔮
The Ethereal
|
cs.CC
|
0 |
5 years ago |
| 3300 |
Logic Signed Petri Net
Payal, Sangita Kansal
|
🔮
The Ethereal
|
cs.LO
|
0 |
5 years ago |