Buchumschlag

On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schmitz, Sylvain, Schütze, Lia
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Data Structures and Algorithms Computational Complexity Logic in Computer Science F.3.1; F.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the formalization of the notion of an algorithm
von: Middelburg, C. A.
Veröffentlicht: (2024)

Fair Vertex Problems Parameterized by Cluster Vertex Deletion
von: Masařík, Tomáš, et al.
Veröffentlicht: (2025)

On the formalization of the notion of a concurrent algorithm
von: Middelburg, C. A.
Veröffentlicht: (2024)

Formalizing the notions of non-interactive and interactive algorithms
von: Middelburg, C. A.
Veröffentlicht: (2024)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
von: Guha, Shibashis, et al.
Veröffentlicht: (2025)

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More
von: Saha, Barna, et al.
Veröffentlicht: (2024)

Certificate-Sensitive Subset Sum: Realizing Instance Complexity
von: Salas, Jesus
Veröffentlicht: (2025)

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
von: Blondin, Michael, et al.
Veröffentlicht: (2024)

First Order Logic on Pathwidth Revisited Again
von: Lampis, Michael
Veröffentlicht: (2022)

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
von: Barto, Libor, et al.
Veröffentlicht: (2026)

Fine-grained Meta-Theorems for Vertex Integrity
von: Lampis, Michael, et al.
Veröffentlicht: (2021)

New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2026)

I/O complexity and pebble games with partial computations
von: Sobczyk, Aleksandros
Veröffentlicht: (2024)

Complexity of Finding and Enumerating Interconnection Trees
von: Demange, Noé, et al.
Veröffentlicht: (2026)

Max-Cut with $ε$-Accurate Predictions
von: Cohen-Addad, Vincent, et al.
Veröffentlicht: (2024)

Parallel Complexity of Depth-First-Search and Maximal path in restricted graph classes
von: Chauhan, Archit, et al.
Veröffentlicht: (2025)

Group Order Logic
von: Dahan, Anatole
Veröffentlicht: (2025)

On the Counting Complexity of the Skolem Problem
von: Jindal, Gorav, et al.
Veröffentlicht: (2024)

A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2024)

Sufficient Incorrectness Logic: SIL and Separation SIL
von: Ascari, Flavio, et al.
Veröffentlicht: (2023)

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2026)

Gradual C0: Symbolic Execution for Gradual Verification
von: DiVincenzo, Jenna, et al.
Veröffentlicht: (2022)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

Centralized vs Decentralized Monitors for Hyperproperties
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
von: Ascari, Flavio, et al.
Veröffentlicht: (2025)

Safe Composition of Systems of Communicating Finite State Machines
von: Barbanera, Franco, et al.
Veröffentlicht: (2024)

Embedding Differential Dynamic Logic in PVS
von: Slagel, J. Tanner, et al.
Veröffentlicht: (2024)

Loop Termination and Generalized Collatz Sequences
von: Carelli, Mishel
Veröffentlicht: (2026)

Relation-Algebraic Verification of Disjoint-Set Forests
von: Guttmann, Walter
Veröffentlicht: (2023)

Enumeration and updates for conjunctive linear algebra queries through expressibility
von: Muñoz, Thomas, et al.
Veröffentlicht: (2023)

Safety, Relative Tightness and the Probabilistic Frame Rule
von: Jereb, Janez Ignacij, et al.
Veröffentlicht: (2025)

Calculational Design of Hyperlogics by Abstract Interpretation
von: Cousot, Patrick, et al.
Veröffentlicht: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
von: Backhouse, Roland, et al.
Veröffentlicht: (2023)

Chronology as a Consistency Invariant in Composable Information Systems
von: Calvo, Anherutowa, et al.
Veröffentlicht: (2026)

The General and Finite Satisfiability Problems for PCTL are Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

The Thins Ordering on Relations
von: Voermans, Ed, et al.
Veröffentlicht: (2024)

Diagonals and Block-Ordered Relations
von: Backhouse, Roland, et al.
Veröffentlicht: (2024)

Probabilistic Epistemic Dynamic Agentive Logic
von: Logan, Shay Allen
Veröffentlicht: (2026)

Symmetries in Sorting
von: Choudhury, Vikraman, et al.
Veröffentlicht: (2025)