08/07/2020
Pebble Minimization of Polyregular Functions
Nathan Lhote
Keywords Paper
minimization, pebble transducers, polyregular functions, MSO interpretations
0
0
0
0
24:27
08/07/2020
Modal Intuitionistic Logics as Dialgebraic Logics
Jim de Groot and Dirk Pattinson
Keywords Paper
dialgebras, coalgebraic logic, modal logic
0
0
0
0
20:54
08/07/2020
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
Gianluca Curzi, Michele Pagani
Keywords Paper
Full abstraction, Observational equivalence, Bisimilarity, Probabilistic lambda calculus, Separation
0
0
0
0
23:57
08/07/2020
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
Michał Wrona
Keywords Paper
constraint satisfaction problems, bounded width, local consistency, bounded relational width, finitely bounded homogeneous structures, bounded strict width
0
0
0
0
24:55
08/07/2020
On Packing Low-Diameter Spanning Trees
Julia Chuzhoy, Merav Parter, Zihan Tan
Keywords Paper
Spanning tree, packing, edge-connectivity
0
0
0
0
23:24
08/07/2020
Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming
Timothy Chan, Jacob Cooper, Martin Koutecký, Dan Král and Kristýna Pekárková
Keywords Paper
Matroid algorithms, width parameters, integer programming, fixed parameter tractability, branch-width, branch-depth
0
0
0
0
19:57
08/07/2020
New Fault Tolerant Subset Preservers
Greg Bodwin, Keerti Choudhary, Merav Parter and Noa Shahar
Keywords Paper
Subset Preservers, Distances, Fault-tolerance
0
0
0
0
24:33
08/07/2020
Minimum cut in O(m log² n) time
Pawel Gawrychowski, Shay Mozes and Oren Weimann
Keywords Paper
Minimum cut, Minimum 2-respecting cut
0
0
0
0
22:48